1 files changed, 3 insertions, 3 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp
index 65b341a12..f880d5ee1 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -34,9 +34,9 @@
 #include "util/result.h"
 
 using namespace std;
-using namespace CVC4;
-using namespace CVC4::main;
-using namespace CVC4::language;
+using namespace CVC5;
+using namespace CVC5::main;
+using namespace CVC5::language;
 
 /**
  * CVC4's main() routine is just an exception-safe wrapper around CVC4.