use instructiont::turn_into_skip

Author: Daniel Kroening

src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.cpp

@@ -914,7 +914,7 @@ void disjunctive_polynomial_accelerationt::build_fixed()
     if(loop.find(t)==loop.end())
     {
       // This instruction isn't part of the loop...  Just remove it.
-      *fixedt = goto_programt::make_skip(fixedt->source_location);
+      fixedt->turn_into_skip();
       continue;
     }
 

src/goto-instrument/accelerate/sat_path_enumerator.cpp

@@ -269,7 +269,7 @@ void sat_path_enumeratort::build_fixed()
     if(loop.find(t)==loop.end())
     {
       // This instruction isn't part of the loop...  Just remove it.
-      *fixedt = goto_programt::make_skip(fixedt->source_location);
+      fixedt->turn_into_skip();
       continue;
     }