diff --git a/src/goto-programs/goto_program_template.h b/src/goto-programs/goto_program_template.h
index 14f9e4a519e..e8a90827789 100644
--- a/src/goto-programs/goto_program_template.h
+++ b/src/goto-programs/goto_program_template.h
@@ -275,6 +275,12 @@ class goto_program_templatet
   //! The list of instructions in the goto program
   instructionst instructions;
 
+  //! A range-erase which should maintain goto program invariants
+  targett erase(const_targett first, const_targett last)
+  {
+    return instructions.erase(first, last);
+  }
+
   // Convert a const_targett to a targett - use with care and avoid
   // whenever possible
   targett const_cast_target(const_targett t)