From c917c1c53db30b875a645ba19879a61512d89b17 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 12 Sep 2014 15:54:42 -0700
Subject: [PATCH] reset ast trail on context deletion

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_context.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp
index 05e1ca675..338c12f61 100644
--- a/src/api/api_context.cpp
+++ b/src/api/api_context.cpp
@@ -128,6 +128,7 @@ namespace api {
             for (unsigned i = 0; i < m_replay_stack.size(); ++i) {
                 dealloc(m_replay_stack[i]);
             }
+            m_ast_trail.reset();
         }
         reset_parser();
         dealloc(m_solver);