Added missing unchecked modifiers

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

source/Trace.Mod

@@ -9,11 +9,11 @@ VAR
 	Color*: PROCEDURE (c: SHORTINT);
 
 PROCEDURE Enter*;
-BEGIN
+BEGIN {UNCOOPERATIVE, UNCHECKED}
 END Enter;
 
 PROCEDURE Exit*;
-BEGIN
+BEGIN {UNCOOPERATIVE, UNCHECKED}
 END Exit;
 
 (** Send the specified characters to the trace output (cf. Streams.Sender). *)