diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-27 17:32:47 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-27 18:19:29 +0200 |
| commit | 3b573d94d4c5e82802745daa7c7d679727155e7d (patch) | |
| tree | 15545383c42fb81fcfb399c00b859c354fa06fb1 /test/golden/prooffix/generating tasks.golden | |
| parent | 74d135de8924844b5db859a08c2b55ca9b099619 (diff) | |
Validate relation parameter arity
Diffstat (limited to 'test/golden/prooffix/generating tasks.golden')
| -rw-r--r-- | test/golden/prooffix/generating tasks.golden | 3 |
1 files changed, 3 insertions, 0 deletions
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" ) ) ) |