git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7734 8c9fc860-2736-0410-a75d-ab315db34111
@@ -188,6 +188,10 @@ VAR
BEGIN
END Nothing;
+ PROCEDURE Halt*;
+ BEGIN HALT (1234);
+ END Halt;
+
PROCEDURE DisableGC*;
Heaps.GC := Nothing;