Fix wrong function description

NathanJPhillips · Jun 4, 2018 · 6298c18 · 6298c18
1 parent 9e355e9
commit 6298c18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/goto-programs/remove_returns.cpp b/src/goto-programs/remove_returns.cpp
@@ -314,7 +314,7 @@ code_typet original_return_type(
   return type;
 }
 
-/// turns 'return x' into an assignment to fkt#return_value
+/// turns an assignment to fkt#return_value back into 'return x'
 bool remove_returnst::restore_returns(
   goto_functionst::function_mapt::iterator f_it)
 {