fixup! New implementation of guards using BDDs

Author: romainbrenguier

src/util/guard.h

@@ -12,6 +12,10 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_UTIL_GUARD_H
 #define CPROVER_UTIL_GUARD_H
 
+#ifdef HAS_CUDD
+#include "guard_bdd.h"
+#else
+
 #include <iosfwd>
 
 #include "std_expr.h"
@@ -72,4 +76,5 @@ class guardt
   exprt expr;
 };
 
+#endif // HAS_CUDD
 #endif // CPROVER_UTIL_GUARD_H