diff --git a/src/test/nlsat.cpp b/src/test/nlsat.cpp
index a54b12f0f..046839265 100644
--- a/src/test/nlsat.cpp
+++ b/src/test/nlsat.cpp
@@ -964,7 +964,6 @@ x7 := 1
 }
 
 void tst_nlsat() {
-    std::cout << "tst_mv\n"; exit(1);
     std::cout << "------------------\n";
     tst11();
     std::cout << "------------------\n";