From e2d05578d62251d9c7630ffa6c965f29a664d07a Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Thu, 17 Nov 2016 15:25:39 -0500
Subject: [PATCH] add extra trace message in smt_context for theory_str results
 change

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

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index c712135d3..8958eae5f 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -3105,6 +3105,7 @@ namespace smt {
                     theory_str * str = (theory_str*)th;
                     if (str->overlapping_variables_detected()) {
                         TRACE("t_str", tout << "WARNING: overlapping variables detected, UNSAT changed to UNKNOWN!" << std::endl;);
+                        TRACE("context", tout << "WARNING: overlapping variables detected in theory_str. UNSAT changed to UNKNOWN!" << std::endl;);
                         r = l_undef;
                     }
                     break;