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

[cvc5.git] / test / unit / api / java / TermTest.java

diff --git a/test/unit/api/java/TermTest.java b/test/unit/api/java/TermTest.java
index 3ecddb82c35869a2c8fb8ef5058ab7702c6b6c6f..c8ee81f0a7e35d00c03b8e897ed79b31cc8859e4 100644 (file)
--- a/test/unit/api/java/TermTest.java
+++ b/test/unit/api/java/TermTest.java
@@ -222,8 +222,8 @@ class TermTest
     Term c = d_solver.mkConst(intListSort, "c");
     Datatype list = listSort.getDatatype();
     // list datatype constructor and selector operator terms
-    Term consOpTerm = list.getConstructor("cons").getConstructorTerm();
-    Term nilOpTerm = list.getConstructor("nil").getConstructorTerm();
+    Term consOpTerm = list.getConstructor("cons").getTerm();
+    Term nilOpTerm = list.getConstructor("nil").getTerm();
   }
 
   @Test