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