aboutsummaryrefslogtreecommitdiff
path: root/testsuite/runnable/generic_erasure.elna
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/runnable/generic_erasure.elna')
-rw-r--r--testsuite/runnable/generic_erasure.elna4
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/runnable/generic_erasure.elna b/testsuite/runnable/generic_erasure.elna
index eccc1d2..20862fa 100644
--- a/testsuite/runnable/generic_erasure.elna
+++ b/testsuite/runnable/generic_erasure.elna
@@ -1,3 +1,4 @@
+program()
type
File = record
fd: Int
@@ -18,7 +19,6 @@ begin
target^.held := value
return
-program()
begin
f.fd := 7;
b := 3u8;
@@ -26,6 +26,4 @@ begin
store#[^Word8](@bytes, @b);
assert(files.held^.fd = 7);
assert(bytes.held^ = 3u8)
-return 0u8
-
end.