From a1a9825e43ad4a2773360e5126e1f0efd5b22bb3 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 30 Aug 2024 20:51:14 -0700
Subject: [PATCH] remove a throw

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/dioph_eq.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index c68317e83..2783b83c7 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -259,7 +259,7 @@ namespace lp {
                 rewrite_eqs();
             }
             TRACE("dioph_eq", print_S(tout););
-            NOT_IMPLEMENTED_YET();
+            //NOT_IMPLEMENTED_YET();
             return lia_move::sat;
         }
         std::list<unsigned>::iterator pick_eh() {