missing header

kroening · kroening · commit 7181e417344a · 2017-06-19T21:33:51.000+01:00
diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
@@ -15,6 +15,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <stack>
 
 #include <util/threeval.h>
+#include <util/invariant.h>
 
 #include "satcheck_minisat2.h"
 
