Support get-abduct-next (#7850)

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

diff --git a/src/api/java/jni/grammar.cpp b/src/api/java/jni/grammar.cpp
index 4bafd54d6f50108858e4b367f318fe6ad467dfb4..751e5ffddea69fbc6a6ae3b4cd5c131495cb3e0b 100644 (file)
--- a/src/api/java/jni/grammar.cpp
+++ b/src/api/java/jni/grammar.cpp
@@ -40,7 +40,7 @@ Java_io_github_cvc5_api_Grammar_copyGrammar(JNIEnv* env, jclass, jlong pointer)
  * Signature: (J)V
  */
 JNIEXPORT void JNICALL
-Java_io_github_cvc5_api_Grammar_deletePointer(JNIEnv*, jclass, jlong pointer)
+Java_io_github_cvc5_api_Grammar_deletePointer(JNIEnv*, jobject, jlong pointer)
 {
   delete reinterpret_cast<Grammar*>(pointer);
 }