Add missing includes for statistics (#6124)

diff --git a/src/prop/cadical.h b/src/prop/cadical.h
index 2426fb3288cc49df689a23041b4ec22314705c70..dfd761e2e40dd80acee5f46b8382fb4b734844db 100644 (file)
--- a/src/prop/cadical.h
+++ b/src/prop/cadical.h
@@ -22,6 +22,7 @@
 #ifdef CVC4_USE_CADICAL
 
 #include "prop/sat_solver.h"
+#include "util/stats_timer.h"
 
 #include <cadical.hpp>
 

diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h
index 5b60655c7a287a4db89abc0d99a7e107ab982e21..3bb443cfcc172c1adbb256f063a00f34fe1a899e 100644 (file)
--- a/src/prop/cryptominisat.h
+++ b/src/prop/cryptominisat.h
@@ -22,6 +22,7 @@
 #ifdef CVC4_USE_CRYPTOMINISAT
 
 #include "prop/sat_solver.h"
+#include "util/stats_timer.h"
 
 // Cryptominisat has name clashes with the other Minisat implementations since
 // the Minisat implementations export var_Undef, l_True, ... as macro whereas

diff --git a/src/prop/kissat.h b/src/prop/kissat.h
index 521d9e28f61bb69ab0568aa94db1182f9df2230a..65088e39e52b372aef9abc193cb1350f1e0f7655 100644 (file)
--- a/src/prop/kissat.h
+++ b/src/prop/kissat.h
@@ -22,6 +22,7 @@
 #ifdef CVC4_USE_KISSAT
 
 #include "prop/sat_solver.h"
+#include "util/stats_timer.h"
 
 extern "C" {
 #include <kissat/kissat.h>