Merge pull request #7727 from tautschnig/bugfixes/7726-guard-manager

Fix includes for BDD_GUARDS
diffblue · May 23, 2023 · fc35bed · fc35bed
2 parents be6bfca + 1315b61
commit fc35bed
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/analyses/guard.h b/src/analyses/guard.h
@@ -14,7 +14,9 @@ Author: Daniel Kroening, [email protected]
 
 #ifdef BDD_GUARDS
 
-#include "guard_bdd.h"
+#  include <solvers/prop/bdd_expr.h>
+
+#  include "guard_bdd.h"
 
 using guard_managert = bdd_exprt;
 using guardt = guard_bddt;

diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -58,6 +58,7 @@ Author: Daniel Kroening, [email protected]
 #include <analyses/dependence_graph.h>
 #include <analyses/escape_analysis.h>
 #include <analyses/global_may_alias.h>
+#include <analyses/guard.h>
 #include <analyses/interval_analysis.h>
 #include <analyses/interval_domain.h>
 #include <analyses/is_threaded.h>