Extension to interpreter class

smowton · Apr 24, 2018 · 0bd83ab · 0bd83ab
1 parent 714ccff
commit 0bd83ab
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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]