git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6931 8c9fc860-2736-0410-a75d-ab315db34111
@@ -1251,6 +1251,7 @@ BEGIN
protRecBlock.awaitingCond.tail := NIL;
protRecBlock.lockedBy := NIL;
protRecBlock.locked := FALSE;
+ protRecBlock.lock := NIL;
FOR i := 0 TO NumPriorities - 1 DO
protRecBlock.waitingPriorities[i] := 0
END;