We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b144b2b commit dd8a0fdCopy full SHA for dd8a0fd
src/goto-programs/resolve_inherited_component.h
@@ -16,6 +16,8 @@ Author: Diffblue Ltd.
16
#include <util/irep.h>
17
#include <util/optional.h>
18
19
+#include <functional>
20
+
21
class symbolt;
22
class symbol_tablet;
23
0 commit comments