From ab447f207cc2c64b8ec699fc1f65bf4c8f7cc073 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Fri, 12 Mar 2021 18:53:04 +0100
Subject: [PATCH] Add missing includes for statistics (#6124)

---
 src/prop/cadical.h       | 1 +
 src/prop/cryptominisat.h | 1 +
 src/prop/kissat.h        | 1 +
 3 files changed, 3 insertions(+)

diff --git a/src/prop/cadical.h b/src/prop/cadical.h
index 2426fb328..dfd761e2e 100644
--- 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 5b60655c7..3bb443cfc 100644
--- 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 521d9e28f..65088e39e 100644
--- 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>
-- 
2.30.2