mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 12:53:38 +00:00
Code Activity

Bugfix; InterpolationContext deleted Z3_config objects (inconsistent with non-Interpolation mk_context).

Browse source 
Fixes #25
This commit is contained in:
Christoph M. Wintersteiger 2015-04-08 13:09:27 +01:00
parent 03020b9f96
commit 2f4c923216
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/api/api_interp.cpp
View file

@ -66,7 +66,6 @@ extern "C" {
// Z3_set_param_value(cfg, "SIMPLIFY_CLAUSES","false"); // Z3_set_param_value(cfg, "SIMPLIFY_CLAUSES","false");
Z3_context ctx = Z3_mk_context(cfg); Z3_context ctx = Z3_mk_context(cfg);
Z3_del_config(cfg);
return ctx; return ctx;
} }