From d22ce1e3d2565d21c021249ea08d16a97f961d18 Mon Sep 17 00:00:00 2001 From: johndumbell Date: Mon, 11 Feb 2019 14:46:21 +0000 Subject: [PATCH] Removing duplicate field In a recent refactor source got moved to a parent and seems like it was left here accidentally. --- src/goto-symex/goto_symex_state.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h index 7b048df259f..1eebbdb8414 100644 --- a/src/goto-symex/goto_symex_state.h +++ b/src/goto-symex/goto_symex_state.h @@ -141,7 +141,6 @@ class goto_symex_statet final : public goto_statet /// for error traces even after symbolic execution has finished. symbol_tablet symbol_table; - symex_targett::sourcet source; symex_target_equationt *symex_target; // we remember all L1 renamings