refactor: rename CallKind to Polarity

1 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryTest.java b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryTest.java
index 224df362..ea92b223 100644
--- a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryTest.java
+++ b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/tests/QueryTest.java
@@ -438,7 +438,7 @@ class QueryTest {
                                 .clause(
                                                 new RelationViewAtom(personView, p3),
                                                 new RelationViewAtom(personView, p4),
-                                                new CallAtom<>(BasicCallKind.TRANSITIVE, friendPredicate, p3, p4)
+                                                new CallAtom<>(SimplePolarity.TRANSITIVE, friendPredicate, p3, p4)
                                 )
                                 .build();
 
@@ -480,7 +480,7 @@ class QueryTest {
                                 .parameters(p1)
                                 .clause(
                                                 new RelationViewAtom(personView, p1),
-                                                new CallAtom<>(new CountCallKind(ComparisonOperator.EQUALS, 2), called, p1, p2)
+                                                new CallAtom<>(new CountingPolarity(ComparisonOperator.EQUALS, 2), called, p1, p2)
                                 )
                                 .build();