Replace procedure end with return

1 files changed, 4 insertions, 13 deletions

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.