Skip to content

Commit 1f9aa83

Browse files
Remove unused forward declaration
1 parent 91b23f4 commit 1f9aa83

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/pointer-analysis/dereference_callback.h

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ Author: Daniel Kroening, [email protected]
1616

1717
#include "value_sets.h"
1818

19-
class guardt;
2019
class exprt;
2120
class symbolt;
2221

0 commit comments

Comments
 (0)