From 015016c92b43e4b01eadd00e00e151d59952362a Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Mon, 12 Sep 2016 16:57:05 -0400
Subject: [PATCH] disable variable scope check if not tracing in theory_str

---
 src/smt/theory_str.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index ecc3b7247..29bedbe86 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -6472,6 +6472,11 @@ void theory_str::check_variable_scope() {
     if (!opt_CheckVariableScope) {
         return;
     }
+
+    if (!is_trace_enabled("t_str_detail")) {
+    	return;
+    }
+
     TRACE("t_str_detail", tout << "checking scopes of variables in the current assignment" << std::endl;);
 
     context & ctx = get_context();