git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6600 8c9fc860-2736-0410-a75d-ab315db34111
@@ -567,6 +567,11 @@ BEGIN
END;
END Init;
+ PROCEDURE {INITIAL} Start;
+ BEGIN
+ Init; (* cannot allocate variables in here *)
+ END Start;
+
(* Initialize locks. *)
PROCEDURE InitLocks;
VAR i: LONGINT;