diff options
Diffstat (limited to 'src/prop/cryptominisat.cpp')
-rw-r--r-- | src/prop/cryptominisat.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp index ce5e4e2b0..5e0b056dc 100644 --- a/src/prop/cryptominisat.cpp +++ b/src/prop/cryptominisat.cpp @@ -14,7 +14,7 @@ ** Implementation of the cryptominisat for cvc4 (bitvectors). **/ -#ifdef CVC4_USE_CRYPTOMINISAT +#ifdef CVC5_USE_CRYPTOMINISAT #include "prop/cryptominisat.h" |