From 2f4c923216f7f1e10da26306f85c5bd225c2a6c5 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 8 Apr 2015 13:09:27 +0100
Subject: [PATCH] Bugfix; InterpolationContext deleted Z3_config objects
 (inconsistent with non-Interpolation mk_context).

Fixes #25
---
 src/api/api_interp.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/api/api_interp.cpp b/src/api/api_interp.cpp
index 38d726761..5ec585c7d 100644
--- a/src/api/api_interp.cpp
+++ b/src/api/api_interp.cpp
@@ -66,7 +66,6 @@ extern "C" {
         // Z3_set_param_value(cfg, "SIMPLIFY_CLAUSES","false");
 
         Z3_context ctx = Z3_mk_context(cfg);
-        Z3_del_config(cfg);
         return ctx;
     }