diff options
Diffstat (limited to 'src/api/cpp/cvc5.cpp')
-rw-r--r-- | src/api/cpp/cvc5.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp index 310ff3128..232c32b43 100644 --- a/src/api/cpp/cvc5.cpp +++ b/src/api/cpp/cvc5.cpp @@ -36,7 +36,7 @@ #include <cstring> #include <sstream> -#include "api/checks.h" +#include "api/cpp/cvc5_checks.h" #include "base/check.h" #include "base/configuration.h" #include "expr/dtype.h" |