From c19b257e70cb71ee579f8ef70dffc91f2fc327ed Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 29 Oct 2010 08:36:06 +0000
Subject: [PATCH] Code tidy.

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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 4f42b3ee..45c25b1e 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -262,7 +262,7 @@ public class PrismCL
 			if (simulate)
 				doBuild = false;
 			// No need if doing PTA model checking...
-			// (NB: PTA digital clocks excluded - has already been reduced to an MDP)
+			// (even if needed for digital clocks, will be done later)
 			if (modulesFile.getModelType() == ModelType.PTA)
 				doBuild = false;