From 3bea00efe3dc3d62a4cf16077cb7e825ad123ea1 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 13 Jul 2016 15:35:29 +0100
Subject: [PATCH] added smt_params trace

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

diff --git a/src/smt/smt_quantifier.cpp b/src/smt/smt_quantifier.cpp
index ad2c25e63..a5e15a201 100644
--- a/src/smt/smt_quantifier.cpp
+++ b/src/smt/smt_quantifier.cpp
@@ -147,6 +147,7 @@ namespace smt {
             }
             m_qi_queue.init_search_eh();
             m_plugin->init_search_eh();
+            TRACE("smt_params", m_params.display(tout); );
         }
         
         void assign_eh(quantifier * q) {