1 files changed, 1 insertions, 3 deletions

diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/TransitiveClosureParserTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/TransitiveClosureParserTest.java
index 1180d131..ed193e90 100644
--- a/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/TransitiveClosureParserTest.java
+++ b/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/TransitiveClosureParserTest.java
@@ -29,9 +29,7 @@ class TransitiveClosureParserTest {
         @Test
         void binaryAddOperatorTest() {
                 var problem = parseHelper.parse("""
-                                        fn int a().
-                                        fn int b().
-                                        pred foo() <-> a() + (b()) > 10.
+                                        pred foo(a, b) <-> a + (b) > 10.
                                 """);
                 assertThat(problem.errors(), empty());
                 var literal = problem.pred("foo").conj(0).lit(0).get();