From 5ff4d8288e7fde656f5034af72528abda524a499 Mon Sep 17 00:00:00 2001 From: reuk Date: Tue, 4 Apr 2017 17:59:19 +0100 Subject: [PATCH] Add range-erase to goto_program_template --- src/goto-programs/goto_program_template.h | 6 ++++++ 1 file changed, 6 insertions(+) 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)