diff --git a/Test.obn b/Test.obn
index 6fae5299c4ceb508ddf3708622d39e419e562a12..e4eeec3fd93e1dc48ac82f3e67accc672fd2131c 100644 (file)
--- a/Test.obn
+++ b/Test.obn
MODULE Test;
+TYPE
+ Rider = RECORD i : INTEGER END;
+
+PROCEDURE X;
+ VAR
+ r : Rider;
+BEGIN
+ r.i := 666;
+END X;
+
+BEGIN
+ X;
END Test.