git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8015 8c9fc860-2736-0410-a75d-ab315db34111
@@ -513,7 +513,7 @@ CONST
END;
UnsafeArray= POINTER {UNSAFE} TO RECORD
- ptr: ANY;
+ ptr {UNTRACED}: ANY;
adr: ADDRESS;
flags: SET;
dim: SIZE;