From 1abb109faf89770183b660d1f2977a274f0ee74e Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 17 Feb 2019 18:02:21 -0800
Subject: [PATCH] move the indices housekeeping from theory_lra to lar_solver

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/smt/theory_lra.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 900082aad..88bdcda51 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -215,9 +215,6 @@ class theory_lra::imp {
        
     typedef vector<std::pair<rational, lpvar>> var_coeffs;
 
-    // svector<lpvar> m_theory_var2var_index;   // translate from theory variables to lar vars
-    // svector<theory_var>      m_var_index2theory_var;   // reverse map from lp_solver variables to theory variables  
-    // svector<theory_var>      m_term_index2theory_var;   // reverse map from lp_solver variables to theory variables  
     var_coeffs               m_left_side;              // constraint left side
     mutable std::unordered_map<lpvar, rational> m_variable_values; // current model
     lpvar m_one_var;