Fix wrong function description

tautschnig · tautschnig · commit 57c5b3cf286f · 2018-04-19T10:33:06.000+01:00
diff --git a/src/goto-programs/remove_returns.cpp b/src/goto-programs/remove_returns.cpp
@@ -313,7 +313,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)
 {

Original file line number	Diff line number	Diff line change
`@@ -313,7 +313,7 @@ code_typet original_return_type(`
`313`	`313`	`return type;`
`314`	`314`	`}`
`315`	`315`
`316`		`-/// turns 'return x' into an assignment to fkt#return_value`
	`316`	`+/// turns an assignment to fkt#return_value back into 'return x'`
`317`	`317`	`bool remove_returnst::restore_returns(`
`318`	`318`	`goto_functionst::function_mapt::iterator f_it)`
`319`	`319`	`{`