Support get-abduct-next (#7850)

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

diff --git a/src/api/java/jni/result.cpp b/src/api/java/jni/result.cpp
index 34b3262cad7344d8ce36a2006ccaa5a2a46ccb48..0534f240e22135e90362aa6798722d30834de095 100644 (file)
--- a/src/api/java/jni/result.cpp
+++ b/src/api/java/jni/result.cpp
@@ -25,7 +25,7 @@ using namespace cvc5::api;
  * Signature: (J)V
  */
 JNIEXPORT void JNICALL
-Java_io_github_cvc5_api_Result_deletePointer(JNIEnv*, jclass, jlong pointer)
+Java_io_github_cvc5_api_Result_deletePointer(JNIEnv*, jobject, jlong pointer)
 {
   delete ((Result*)pointer);
 }