From 3b573d94d4c5e82802745daa7c7d679727155e7d Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Mon, 27 Jul 2026 17:32:47 +0200
Subject: Validate relation parameter arity

---
 test/golden/prooffix/generating tasks.golden | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'test/golden/prooffix/generating tasks.golden')

diff --git a/test/golden/prooffix/generating tasks.golden b/test/golden/prooffix/generating tasks.golden
index c344dd5..150d67f 100644
--- a/test/golden/prooffix/generating tasks.golden	
+++ b/test/golden/prooffix/generating tasks.golden	
@@ -18,6 +18,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -42,6 +43,7 @@
                 ( PredicateRelation
                     ( RelationSymbol
                         ( Symbol "=" )
+                        ( ParameterArity 0 )
                         ( Marker "eq" )
                     )
                 )
@@ -69,6 +71,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
-- 
cgit v1.2.3