From f1194ffeaaa59d7bf355502f9bca1ce76d197aa6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 9 May 2014 11:34:15 -0700
Subject: [PATCH] add logging

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/optsmt.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/opt/optsmt.cpp b/src/opt/optsmt.cpp
index 980ad7037..4686910c8 100644
--- a/src/opt/optsmt.cpp
+++ b/src/opt/optsmt.cpp
@@ -268,6 +268,7 @@ namespace opt {
         }
         
         if (m_cancel || is_sat == l_undef) {
+            TRACE("opt", tout << "undef: " << m_cancel << " " << is_sat << "\n";);
             return l_undef;
         }