diff options
Diffstat (limited to 'src/prop/cadical.h')
| -rw-r--r-- | src/prop/cadical.h | 1 |
1 files changed, 1 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> |