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