diff --git a/src/analyses/guard.h b/src/analyses/guard.h
index 950a65b58bc..dedce0672c1 100644
--- a/src/analyses/guard.h
+++ b/src/analyses/guard.h
@@ -14,7 +14,9 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #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
index 3d3995631e2..619b178b4ba 100644
--- 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, kroening@kroening.com
 #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>