From c46f95a629c07ae2e983ce68ab25f255a0197137 Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Mon, 24 Apr 2017 12:39:55 -0400
Subject: [PATCH] remove unused parameter from smt_context

---
 src/smt/smt_context.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 3d0652093..f003dfa37 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -76,7 +76,6 @@ namespace smt {
         m_unsat_proof(m),
         m_unknown("unknown"),
         m_unsat_core(m),
-        m_use_theory_str_overlap_assumption(false),
 #ifdef Z3DEBUG
         m_trail_enabled(true),
 #endif