From 98a3d2af154f07abce60c883eb6362fe86c45498 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 24 Nov 2025 07:51:11 -1000
Subject: [PATCH] remove the exit statement

---
 src/test/nlsat.cpp | 1 -
 1 file changed, 1 deletion(-)

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";