Removing some random code

thk123 · thk123 · commit f10d37cfe36b · 2017-01-10T15:19:56.000Z
diff --git a/src/goto-instrument/accelerate/acceleration_utils.cpp b/src/goto-instrument/accelerate/acceleration_utils.cpp
@@ -62,11 +62,6 @@ void acceleration_utilst::find_modified(
   const goto_programt::instructionst &instructions,
   expr_sett &modified)
 {
-  for(goto_programt::instructionst::const_iterator
-      it=instructions.begin();
-      it!=instructions.end();
-      ++it)
-    find_modified(it, modified);
 }
 
 void acceleration_utilst::find_modified(

Original file line number	Diff line number	Diff line change
`@@ -62,11 +62,6 @@ void acceleration_utilst::find_modified(`
`62`	`62`	`const goto_programt::instructionst &instructions,`
`63`	`63`	`expr_sett &modified)`
`64`	`64`	`{`
`65`		`- for(goto_programt::instructionst::const_iterator`
`66`		`- it=instructions.begin();`
`67`		`- it!=instructions.end();`
`68`		`- ++it)`
`69`		`- find_modified(it, modified);`
`70`	`65`	`}`
`71`	`66`
`72`	`67`	`void acceleration_utilst::find_modified(`