From 33c165490c329d4d77f9d06d283ab7d22fd63e2a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 2 Nov 2012 09:43:07 -0700
Subject: [PATCH] fixed solver_na2as

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/solver/solver_na2as.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/solver/solver_na2as.cpp b/src/solver/solver_na2as.cpp
index 81f313857..48980fa7c 100644
--- a/src/solver/solver_na2as.cpp
+++ b/src/solver/solver_na2as.cpp
@@ -26,7 +26,8 @@ solver_na2as::solver_na2as() {
 }
 
 solver_na2as::~solver_na2as() {
-    reset();
+    if (m_manager)
+        restore_assumptions(0);
 }
 
 void solver_na2as::assert_expr(expr * t, expr * a) {
@@ -91,6 +92,7 @@ unsigned solver_na2as::get_scope_level() const {
 }
 
 void solver_na2as::reset() {
+    reset_core();
     if (m_manager)
         restore_assumptions(0);
 }