expose remove_preconditions

Daniel Kroening · Daniel Kroening · commit b36e1de8fa62 · 2018-08-03T11:38:03.000+01:00
diff --git a/src/goto-programs/instrument_preconditions.cpp b/src/goto-programs/instrument_preconditions.cpp
@@ -146,3 +146,9 @@ void instrument_preconditions(goto_modelt &goto_model)
   for(auto &f_it : goto_model.goto_functions.function_map)
     remove_preconditions(f_it.second.body);
 }
+
+void remove_preconditions(goto_modelt &goto_model)
+{
+  for(auto &f_it : goto_model.goto_functions.function_map)
+    remove_preconditions(f_it.second.body);
+}
diff --git a/src/goto-programs/instrument_preconditions.h b/src/goto-programs/instrument_preconditions.h
@@ -15,5 +15,6 @@ Date:   September 2017
 #include <goto-programs/goto_model.h>
 
 void instrument_preconditions(goto_modelt &);
+void remove_preconditions(goto_modelt &);
 
 #endif // CPROVER_GOTO_PROGRAMS_INSTRUMENT_PRECONDITIONS_H
