diff options
Diffstat (limited to 'src/main/time_limit.cpp')
| -rw-r--r-- | src/main/time_limit.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/time_limit.cpp b/src/main/time_limit.cpp index 82cfda017..0f0a824f6 100644 --- a/src/main/time_limit.cpp +++ b/src/main/time_limit.cpp @@ -55,6 +55,7 @@ #include <cerrno> #include <cstring> +#include "base/exception.h" #include "signal_handlers.h" namespace cvc5 { |