From 8a44766382df18b1a8610d7dd54b47f9b85b56e6 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 18 Sep 2013 13:47:20 +0100
Subject: [PATCH] qfbv-sls tactic bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/tactic/sls/sls_tactic.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tactic/sls/sls_tactic.cpp b/src/tactic/sls/sls_tactic.cpp
index 69e1c8bc3..eb806e23c 100644
--- a/src/tactic/sls/sls_tactic.cpp
+++ b/src/tactic/sls/sls_tactic.cpp
@@ -1343,6 +1343,7 @@ class sls_tactic : public tactic {
             m_zero(m_mpz_manager.mk_z(0)),
             m_one(m_mpz_manager.mk_z(1)),
             m_two(m_mpz_manager.mk_z(2)),
+            m_cancel(false),
             m_bv_util(m),
             m_tracker(m, m_bv_util, m_mpz_manager, m_powers)
         {