From 308a2addf655fe45f2098f8542f0ff1290612cd9 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 14 Jul 2026 19:42:32 +0200 Subject: Replace procedure end with return --- testsuite/runnable/aggregate_equality.elna | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) (limited to 'testsuite/runnable/aggregate_equality.elna') diff --git a/testsuite/runnable/aggregate_equality.elna b/testsuite/runnable/aggregate_equality.elna index 9f9e8fc..9cd9ab5 100644 --- a/testsuite/runnable/aggregate_equality.elna +++ b/testsuite/runnable/aggregate_equality.elna @@ -4,18 +4,9 @@ type b: Int end -proc f(): Int -var - result: Int -begin - if R(1, 2) = R(1, 2) then - result := 0 - else - result := 1 - end; - return result -end - -return f() +proc f(): Bool +return R(1, 2) = R(1, 2) +begin + assert(f()) end. -- cgit v1.2.3