1 files changed, 1 insertions, 1 deletions
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;
     }