Skip to content

Commit ed6796d

Browse files
authored
Merge pull request #4158 from JohnDumbell/jd/refactor/duplicate_field
Same field in both goto_statet and goto_symex_statet
2 parents 82a82f2 + d22ce1e commit ed6796d

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/goto-symex/goto_symex_state.h

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -141,7 +141,6 @@ class goto_symex_statet final : public goto_statet
141141
/// for error traces even after symbolic execution has finished.
142142
symbol_tablet symbol_table;
143143

144-
symex_targett::sourcet source;
145144
symex_target_equationt *symex_target;
146145

147146
// we remember all L1 renamings

0 commit comments

Comments
 (0)