We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2ed63f5 commit 7716f3fCopy full SHA for 7716f3f
src/goto-programs/remove_function_pointers.cpp
@@ -20,7 +20,7 @@ Author: Daniel Kroening, [email protected]
20
#include <util/type_eq.h>
21
#include <util/message.h>
22
#include <util/base_type.h>
23
-#include <ansi-c/c_qualifiers.h>
+
24
#include <analyses/does_remove_const.h>
25
#include <util/invariant.h>
26
0 commit comments