Support get-abduct-next (#7850)

[cvc5.git] / src / api / java / jni / op.cpp

diff --git a/src/api/java/jni/op.cpp b/src/api/java/jni/op.cpp
index cb6a7a728ff67c6958fe3c44ca4fee4a80e3add0..f34444001fc9e8df9e912959e9433fb9797993c1 100644 (file)
--- a/src/api/java/jni/op.cpp
+++ b/src/api/java/jni/op.cpp
@@ -25,7 +25,7 @@ using namespace cvc5::api;
  * Signature: (J)V
  */
 JNIEXPORT void JNICALL Java_io_github_cvc5_api_Op_deletePointer(JNIEnv*,
-                                                                jclass,
+                                                                jobject,
                                                                 jlong pointer)
 {
   delete reinterpret_cast<Op*>(pointer);