From e31a658e9f67f08b019488da96081e4655df6e62 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 24 Feb 2012 15:12:18 +0000
Subject: [PATCH] Typo

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

diff --git a/prism/src/pta/DigitalClocks.java b/prism/src/pta/DigitalClocks.java
index fbee1276..87324e45 100644
--- a/prism/src/pta/DigitalClocks.java
+++ b/prism/src/pta/DigitalClocks.java
@@ -121,7 +121,7 @@ public class DigitalClocks
 		if (ast != null)
 			throw new PrismLangException("Diagonal clock constraints are not allowed when using the digital clocks method", ast);
 
-		// ACheck for any references to clocks in rewards structures - not allowed.
+		// Check for any references to clocks in rewards structures - not allowed.
 		for (RewardStruct rs : modulesFile.getRewardStructs()) {
 			rs.accept(new ASTTraverseModify()
 			{