Fixed untraced local variable, more to come

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

source/Generic.Unix.Objects.Mod

@@ -423,7 +423,7 @@ TYPE
 	END Lock;
 
 	PROCEDURE Await*( cond: Condition;  slink: ADDRESS;  obj: ProtectedObject;  flags: SET );
-	VAR hdr: ObjectHeader;  p, c: Process; lock: LockT;  
+	VAR hdr {UNTRACED}: ObjectHeader;  p, c: Process; lock: LockT;  
 	BEGIN
 		IF 1 IN flags THEN  (* compiler did not generate IF *)
 			IF cond( slink ) THEN  (* condition already true *)  RETURN  END