Skip to content

Commit 418f464

Browse files
author
Enrico Steffinlongo
committed
iwyu
1 parent 93b7d71 commit 418f464

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/goto-symex/shadow_memory.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ Author: Peter Schrammel
1414

1515
#include <util/expr.h>
1616
#include <util/message.h>
17-
#include <util/std_expr.h>
1817

1918
#include "shadow_memory_field_definitions.h"
2019

@@ -30,6 +29,7 @@ class abstract_goto_modelt;
3029
class goto_symex_statet;
3130
class side_effect_exprt;
3231
class ssa_exprt;
32+
class symbol_exprt;
3333

3434
/// \brief The shadow memory instrumentation performed during symbolic execution
3535
class shadow_memoryt

0 commit comments

Comments
 (0)