Typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6928 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/visitor/TypeCheck.java

@@ -139,7 +139,7 @@ public class TypeCheck extends ASTTraverse
 		int i, n;
 		n = e.getNumElements();
 		for (i = 0; i < n; i++) {
-			// Udates to non-clocks
+			// Updates to non-clocks
 			if (!(e.getType(i) instanceof TypeClock)) {
 				if (!e.getType(i).canAssign(e.getExpression(i).getType())) {
 					throw new PrismLangException("Type error in update to variable \"" + e.getVar(i) + "\"", e.getExpression(i));