diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp
index 5a9789245..968333723 100644
--- a/src/math/lp/int_solver.cpp
+++ b/src/math/lp/int_solver.cpp
@@ -231,7 +231,7 @@ namespace lp {
             ++m_number_of_calls;
             if (r == lia_move::undef) r = patch_basic_columns();
             if (r == lia_move::undef && should_find_cube()) r = int_cube(lia)();
-            if (r == lia_move::undef && (true||should_solve_dioph_eq())) r = solve_dioph_eq();
+            if (r == lia_move::undef && should_solve_dioph_eq()) r = solve_dioph_eq();
             if (r == lia_move::undef) lra.move_non_basic_columns_to_bounds();
             if (r == lia_move::undef && should_hnf_cut()) r = hnf_cut();