diff options
Diffstat (limited to 'src/main/time_limit.cpp')
-rw-r--r-- | src/main/time_limit.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/time_limit.cpp b/src/main/time_limit.cpp index bd41ed7ed..82cfda017 100644 --- a/src/main/time_limit.cpp +++ b/src/main/time_limit.cpp @@ -41,7 +41,7 @@ #include "time_limit.h" -#include "cvc4autoconfig.h" +#include "base/cvc5config.h" #if HAVE_SETITIMER #include <signal.h> |