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;