api: Rename get(Selector|Constructor)Term() to getTerm(). (#8537)

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

diff --git a/src/api/java/jni/datatype_selector.cpp b/src/api/java/jni/datatype_selector.cpp
index d75263b5092601f5996174e50aeded2bf2fdd289..a5f20cb1ae2052f00257ead9f80e383119d92963 100644 (file)
--- a/src/api/java/jni/datatype_selector.cpp
+++ b/src/api/java/jni/datatype_selector.cpp
@@ -46,17 +46,15 @@ JNIEXPORT jstring JNICALL Java_io_github_cvc5_DatatypeSelector_getName(
 
 /*
  * Class:     io_github_cvc5_DatatypeSelector
- * Method:    getSelectorTerm
+ * Method:    getTerm
  * Signature: (J)J
  */
-JNIEXPORT jlong JNICALL
-Java_io_github_cvc5_DatatypeSelector_getSelectorTerm(JNIEnv* env,
-                                                         jobject,
-                                                         jlong pointer)
+JNIEXPORT jlong JNICALL Java_io_github_cvc5_DatatypeSelector_getTerm(
+    JNIEnv* env, jobject, jlong pointer)
 {
   CVC5_JAVA_API_TRY_CATCH_BEGIN;
   DatatypeSelector* current = (DatatypeSelector*)pointer;
-  Term* retPointer = new Term(current->getSelectorTerm());
+  Term* retPointer = new Term(current->getTerm());
   return (jlong)retPointer;
   CVC5_JAVA_API_TRY_CATCH_END_RETURN(env, 0);
 }