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;
     }