From 02b419c939b44429f2b79a181d6c05c3de3261b4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 9 May 2014 11:36:08 -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 4686910c8..8428f03ab 100644
--- a/src/opt/optsmt.cpp
+++ b/src/opt/optsmt.cpp
@@ -51,6 +51,7 @@ namespace opt {
 
 
     void optsmt::set_cancel(bool f) {
+        TRACE("opt", tout << "set cancel: " << f << "\n";);
         m_cancel = f;
     }