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

Fix includes for BDD_GUARDS

Author: tautschnig

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;

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>