From a891d1259fb3d250910186bbdf3083b55eb23f26 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 27 May 2014 00:07:17 -0400
Subject: [PATCH] Fix typo in Java destruction code; should fix some recent bug
 reports of crashes in Java.

---
 src/expr/expr_manager.i | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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