From 2e060281b8b5781875c344f015b41378a6f7489f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Aug 2011 08:20:18 +0000
Subject: [PATCH] Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3513 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/NondetModelChecker.java | 2 --
 1 file changed, 2 deletions(-)

diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 43f7d636..c4024136 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -485,8 +485,6 @@ public class NondetModelChecker extends NonProbModelChecker
 
 		// Convert probability vector to original model
 		// First, filter over DRA start states
-		// (which we can get from initial states of product model,
-		// because of the way it is constructed)
 		startMask = mcLtl.buildStartMask(dra, labelDDs, draDDRowVars);
 		JDD.Ref(model.getReach());
 		startMask = JDD.And(model.getReach(), startMask);