From 718683f6f8ac55905f8eeb6ad57de07165e330d7 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Wed, 12 Apr 2017 12:43:13 +0100 Subject: [PATCH] Remove trace_stackt This is only used in derivative out-of-repo classes, and therefore should be moved there. --- src/goto-programs/interpreter_class.h | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/goto-programs/interpreter_class.h b/src/goto-programs/interpreter_class.h index 8ea3ad620b2..d1051eeb93f 100644 --- a/src/goto-programs/interpreter_class.h +++ b/src/goto-programs/interpreter_class.h @@ -90,16 +90,6 @@ class interpretert:public messaget const dynamic_typest &get_dynamic_types() { return dynamic_types; } protected: - struct trace_stack_entryt - { - irep_idt func_name; - mp_integer this_address; - irep_idt capture_symbol; - bool is_super_call; - std::vector param_values; - }; - typedef std::vector trace_stackt; - const symbol_tablet &symbol_table; // This is a cache so that we don't have to create it when a call needs it