From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 27 May 2014 04:07:17 +0000 (-0400)
Subject: Fix typo in Java destruction code; should fix some recent bug reports of crashes... 
X-Git-Tag: cvc5-1.0.0~6887
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a891d1259fb3d250910186bbdf3083b55eb23f26;p=cvc5.git

Fix typo in Java destruction code; should fix some recent bug reports of crashes in Java.
---

diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i
index f32d68274..b29f59621 100644
--- a/src/expr/expr_manager.i
+++ b/src/expr/expr_manager.i
@@ -17,7 +17,7 @@
     if (swigCPtr != 0) {
       if (swigCMemOwn) {
         swigCMemOwn = false;
-        CVC4JNI.delete_SmtEngine(swigCPtr);
+        CVC4JNI.delete_ExprManager(swigCPtr);
       }
       swigCPtr = 0;
     }