From 54da61cc0d4a3724fbe673916e433f23197f8de8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Jul 2013 21:12:47 +0000
Subject: [PATCH] Code comments

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7098 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCModelChecker.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index dd27bd72..d2c144b9 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -242,7 +242,6 @@ public class DTMCModelChecker extends ProbModelChecker
 		mainLog.println("\nTime for Rabin translation: " + time / 1000.0 + " seconds.");
 
 		// Build product of Markov chain and automaton
-		// (note: might be a CTMC - StochModelChecker extends this class)
 		mainLog.println("\nConstructing MC-DRA product...");
 		Pair<Model, int[]> pair = mcLtl.constructProductMC(dra, (DTMC) model, labelBS);
 		modelProduct = pair.first;