combining the two prior versions.

Although not fundamentally better then prior version.

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

source/Objects.Mod

@@ -999,8 +999,10 @@ PROCEDURE CancelTimeout*(t: Timer);
 BEGIN
 	Machine.Acquire(Machine.Objects);
 	ASSERT(t # event);
-	IF t.prev #NIL THEN t.prev.next := t.next END;
-	IF t.next # NIL THEN t.next.prev := t.prev; END;
+	IF t.next # NIL THEN 
+		t.next.prev := t.prev; 
+		IF t.prev #NIL THEN t.prev.next := t.next END;
+	END;
 	t.next := NIL; t.prev := NIL
 	Machine.Release(Machine.Objects)
 END CancelTimeout;