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_argument.elna | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) (limited to 'testsuite/runnable/aggregate_argument.elna') diff --git a/testsuite/runnable/aggregate_argument.elna b/testsuite/runnable/aggregate_argument.elna index b92e460..89059db 100644 --- a/testsuite/runnable/aggregate_argument.elna +++ b/testsuite/runnable/aggregate_argument.elna @@ -4,18 +4,9 @@ type b: Int end -proc f(r: R): Int -var - result: Int -begin - if r.a = 1 & r.b = 2 then - result := 0 - else - result := 1 - end; - return result -end - -return f(R(1, 2)) +proc f(r: R): Bool +return r.a = 1 & r.b = 2 +begin + assert(f(R(1, 2))) end. -- cgit v1.2.3