From cdb90968e31de612747d04e5345ccb056f525c97 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 10 Apr 2013 20:06:21 -0700
Subject: [PATCH] minor fixes to rel_context

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz_qe/rel_context.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/muz_qe/rel_context.cpp b/src/muz_qe/rel_context.cpp
index 327e63c0f..0e84ce4f6 100644
--- a/src/muz_qe/rel_context.cpp
+++ b/src/muz_qe/rel_context.cpp
@@ -40,7 +40,9 @@ namespace datalog {
         rule_set  m_rules;
         decl_set  m_preds;
         bool      m_was_closed;                        
+
     public:
+
         scoped_query(context& ctx):
             m_ctx(ctx),
             m_rules(ctx.get_rules()),
@@ -51,6 +53,7 @@ namespace datalog {
                 ctx.reopen();
             }
         }
+
         ~scoped_query() {
             m_ctx.reopen();                                
             m_ctx.restrict_predicates(m_preds);
@@ -235,7 +238,6 @@ namespace datalog {
             query_pred = rm.mk_query(query, m_context.get_rules());
         }
         catch (default_exception& exn) {
-            m_context.close();
             m_context.set_status(INPUT_ERROR);
             throw exn;
         }