Fix wrong function description

tautschnig · tautschnig · commit 6298c189a537 · 2018-06-04T11:09:47.000Z
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)
 {

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