Skip to content

Commit fe79106

Browse files
Add missing forward declarations
1 parent e2a021a commit fe79106

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/goto-symex/renamed.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,10 @@ Author: Romain Brenguier, [email protected]
1717
#include <util/optional.h>
1818
#include <util/simplify_expr.h>
1919

20-
class typet;
20+
class constant_exprt;
2121
class exprt;
2222
class ssa_exprt;
23+
class typet;
2324

2425
/// Symex renaming level names.
2526
enum levelt

0 commit comments

Comments
 (0)