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

diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i
index f32d68274ba415a96563163642478e0a54643113..b29f59621b52c712904021e0d508fa11c5eb8614 100644 (file)
--- 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;
     }