From 45ada06a06296d382f0168720088b7c4dc2c74a4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 24 May 2010 22:05:12 +0000
Subject: [PATCH] Comment fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1908 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 426552af..ec5508c6 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -189,7 +189,7 @@ public class PrismCL
 				modulesFile.setUndefinedConstants(definedMFConstants);
 			} catch (PrismException e) {
 				// in case of error, report it, store as result for any properties, and go on to the next model
-				// (should never happen)
+				// (might happen for example if overflow or another numerical problem is detected at this stage)
 				error(e.getMessage());
 				try {
 					for (j = 0; j < numPropertiesToCheck; j++) {