From 0bd83ab07cb951d7c2ae81d928d71e8eadce633b Mon Sep 17 00:00:00 2001 From: thk123 Date: Thu, 19 Apr 2018 13:59:27 +0100 Subject: [PATCH] Extension to interpreter class --- src/goto-programs/interpreter_class.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goto-programs/interpreter_class.h b/src/goto-programs/interpreter_class.h index b8e2e4cc437..ccc4730fba0 100644 --- a/src/goto-programs/interpreter_class.h +++ b/src/goto-programs/interpreter_class.h @@ -85,6 +85,7 @@ class interpretert:public messaget irep_idt calling_function; function_assignmentst return_assignments; function_assignmentst param_assignments; + function_assignmentst exception_assignments; }; // list_input_varst maps function identifiers onto a vector of [name = value]