From 25734454708481e32ec013ba7cb853d46bc769dc Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 14 Jun 2013 09:35:58 +0000
Subject: [PATCH] Typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6928 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/visitor/TypeCheck.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/visitor/TypeCheck.java b/prism/src/parser/visitor/TypeCheck.java
index 749ce745..9162dd61 100644
--- a/prism/src/parser/visitor/TypeCheck.java
+++ b/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));