diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index e27aa824b..7999c32da 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -177,7 +177,6 @@ namespace lp {
             for (unsigned i = 0; i < n_of_rows; i++) {
                 auto & row = lra.get_row(i);
                 TRACE("dioph_eq", tout << "row "<< i <<":"; lia.display_row_info(tout, i) << "\n";);
-                unsigned basic_var = lra.r_basis()[i];
                 if (!all_vars_are_int_and_small(row)) {
                     TRACE("dioph_eq", tout << "not all vars are int and small\n";);
                     continue;
@@ -768,7 +767,7 @@ namespace lp {
         }
     };
 // Constructor definition
-    dioph_eq::dioph_eq(int_solver& lia): lia(lia) {
+    dioph_eq::dioph_eq(int_solver& lia) {
         m_imp = alloc(imp, lia, lia.lra);
     }
     dioph_eq::~dioph_eq() {
diff --git a/src/math/lp/dioph_eq.h b/src/math/lp/dioph_eq.h
index 1c5cdf36f..08ee2f6f5 100644
--- a/src/math/lp/dioph_eq.h
+++ b/src/math/lp/dioph_eq.h
@@ -24,7 +24,6 @@ namespace lp {
     class int_solver;
     class dioph_eq {
         class imp;
-        int_solver& lia;
         imp*        m_imp;
     public:
         dioph_eq(int_solver& lia);