From 5d3ed8a634a9aa3c10a5217b2c6f372029f76e86 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 6 Oct 2015 13:02:06 -0700
Subject: [PATCH] fix(library/blast/hypothesis): hypotheses are initially
 inactive

---
 src/library/blast/hypothesis.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/blast/hypothesis.h b/src/library/blast/hypothesis.h
index fe4a07fda..52084c5f9 100644
--- a/src/library/blast/hypothesis.h
+++ b/src/library/blast/hypothesis.h
@@ -31,7 +31,7 @@ class hypothesis {
     expr               m_value;    // justification for this object.
     // Remark: if blast::is_local(m_value) is true, then the hypothesis is an assumption
 public:
-    hypothesis():m_active(true), m_depth(0) {}
+    hypothesis():m_active(false), m_depth(0) {}
     name const & get_name() const { return m_name; }
     bool is_active() const { return m_active; }
     unsigned get_depth() const { return m_depth; }