git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8069 8c9fc860-2736-0410-a75d-ab315db34111
@@ -1430,7 +1430,7 @@ END FindCondition;
(* Find highest priority in array of priority counts *)
PROCEDURE MaxPrio(CONST priorityCounts: ARRAY OF WORD): WORD;
-VAR i: SIZE;
+VAR i: WORD;
BEGIN
i := LEN(priorityCounts) - 1;
WHILE (i >= 0) & (priorityCounts[i] = 0) DO DEC(i) END;