diff options
Diffstat (limited to 'examples/nra-translate/smt2toisat.cpp')
-rw-r--r-- | examples/nra-translate/smt2toisat.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/nra-translate/smt2toisat.cpp b/examples/nra-translate/smt2toisat.cpp index 33efcbbfe..aecdf5ba2 100644 --- a/examples/nra-translate/smt2toisat.cpp +++ b/examples/nra-translate/smt2toisat.cpp @@ -26,9 +26,9 @@ #include <cvc4/cvc4.h> using namespace std; -using namespace CVC4; -using namespace CVC4::parser; -using namespace CVC4::options; +using namespace CVC5; +using namespace CVC5::parser; +using namespace CVC5::options; void translate_to_isat( string input, |