diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-12 18:53:04 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-12 09:53:04 -0800 |
commit | ab447f207cc2c64b8ec699fc1f65bf4c8f7cc073 (patch) | |
tree | b369d5835216125f1098b64a53e3a049780e464c | |
parent | 91d701dd898acfddd55edffa9bf11cb175b09147 (diff) |
Add missing includes for statistics (#6124)
-rw-r--r-- | src/prop/cadical.h | 1 | ||||
-rw-r--r-- | src/prop/cryptominisat.h | 1 | ||||
-rw-r--r-- | src/prop/kissat.h | 1 |
3 files changed, 3 insertions, 0 deletions
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> |