git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8361 8c9fc860-2736-0410-a75d-ab315db34111
@@ -221,7 +221,7 @@ VAR
BEGIN
leftType := this.priority;
rightType := that.priority;
- RETURN (leftType < rightType) OR (leftType = rightType) & (leftType = ExitCode)
+ RETURN (leftType < rightType)
END Precedes;