Adding a missing header include for cvc4_assert.h in smt_engine_check_proof.cpp for...

diff --git a/src/smt/smt_engine_check_proof.cpp b/src/smt/smt_engine_check_proof.cpp
index 2add88afbcabcd8ae272442fa54bd6191a6f6bd9..da01b9863235f922341912451bb861acb3e2810f 100644 (file)
--- a/src/smt/smt_engine_check_proof.cpp
+++ b/src/smt/smt_engine_check_proof.cpp
@@ -22,8 +22,11 @@
 #include <fstream>
 #include <string>
 
-#include "base/output.h"
+#warning "TODO: Why is lfsc's check.h being included like this?"
 #include "check.h"
+
+#include "base/cvc4_assert.h"
+#include "base/output.h"
 #include "expr/statistics_registry.h"
 #include "smt/smt_engine.h"
 #include "util/configuration_private.h"