git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7556 8c9fc860-2736-0410-a75d-ab315db34111
@@ -147,6 +147,9 @@ PROCEDURE Mark* EXTERN "GarbageCollector.Mark" (p: ANY);
PROCEDURE CheckCandidates*;
END CheckCandidates;
+PROCEDURE CheckAssignment*(dest, src: ADDRESS);
+END CheckAssignment;
+
(** Return the next scheduled finalizer or NIL if none available. Called by finalizer object in Kernel. *)
PROCEDURE GetFinalizer* (): FinalizerNode;
VAR n: FinalizerNode;