From eaf2f7f1650a72e662f423de71706ec1b3338209 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 8 Oct 2024 09:33:23 -0700
Subject: [PATCH] remove disabling return

---
 src/math/lp/dioph_eq.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 7999c32da..b013cba16 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -513,7 +513,6 @@ namespace lp {
         }
 
         lia_move check() {
-            return lia_move::undef;
             init();
             while(m_f.size()) {
                 if (!normalize_by_gcd()) {