From ec8a86b78ad6119029fac03da7c612a354ea2340 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Wed, 23 May 2018 21:43:07 -0700
Subject: [PATCH] Removed unused m_qi_ematching parameter from smt_params

---
 src/smt/params/qi_params.cpp | 1 -
 src/smt/params/qi_params.h   | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/smt/params/qi_params.cpp b/src/smt/params/qi_params.cpp
index a9cff6e8c..deeb2b99c 100644
--- a/src/smt/params/qi_params.cpp
+++ b/src/smt/params/qi_params.cpp
@@ -40,7 +40,6 @@ void qi_params::updt_params(params_ref const & _p) {
 #define DISPLAY_PARAM(X) out << #X"=" << X << std::endl;
 
 void qi_params::display(std::ostream & out) const {
-    DISPLAY_PARAM(m_qi_ematching);
     DISPLAY_PARAM(m_qi_cost);
     DISPLAY_PARAM(m_qi_new_gen);
     DISPLAY_PARAM(m_qi_eager_threshold);
diff --git a/src/smt/params/qi_params.h b/src/smt/params/qi_params.h
index cc1a30673..0f6c03f5b 100644
--- a/src/smt/params/qi_params.h
+++ b/src/smt/params/qi_params.h
@@ -29,7 +29,6 @@ enum quick_checker_mode {
 };
 
 struct qi_params {
-    bool               m_qi_ematching;
     std::string        m_qi_cost;
     std::string        m_qi_new_gen;
     double             m_qi_eager_threshold;