Unified interface

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8267 8c9fc860-2736-0410-a75d-ab315db34111

source/Coop.Objects.Mod

@@ -315,6 +315,12 @@ BEGIN
 	Machine.Release(Machine.Objects);
 END CancelTimeout;
 
+PROCEDURE LeaveA2-;
+END LeaveA2;
+
+PROCEDURE ReenterA2-;
+END ReenterA2;
+
 PROCEDURE InitEventHandling;
 BEGIN
 	NEW(event); event.next := event; event.prev := event;  (* event: head of timer event queue, only a sentinel *)