diff options
Diffstat (limited to 'src/prop/cryptominisat.h')
-rw-r--r-- | src/prop/cryptominisat.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/cryptominisat.h b/src/prop/cryptominisat.h index 3bb443cfc..fb118619c 100644 --- a/src/prop/cryptominisat.h +++ b/src/prop/cryptominisat.h @@ -33,7 +33,7 @@ namespace CMSat { class SATSolver; } -namespace CVC4 { +namespace CVC5 { namespace prop { class CryptoMinisatSolver : public SatSolver @@ -106,7 +106,7 @@ class CryptoMinisatSolver : public SatSolver }; } // namespace prop -} // namespace CVC4 +} // namespace CVC5 #endif // CVC4_USE_CRYPTOMINISAT #endif // CVC4__PROP__CRYPTOMINISAT_H |