From f0b5cd1066eb9fabf78b1de0ba47736a0c472bae 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() {