From 5e92fabe951cffab2e7744acde9dea4499f8b492 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 3 Jun 2015 16:25:04 +0000
Subject: [PATCH] Comment typo.

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

diff --git a/prism/src/explicit/LTLModelChecker.java b/prism/src/explicit/LTLModelChecker.java
index 614f1d61..e8cd704d 100644
--- a/prism/src/explicit/LTLModelChecker.java
+++ b/prism/src/explicit/LTLModelChecker.java
@@ -503,7 +503,7 @@ public class LTLModelChecker extends PrismComponent
 			q_1 = p.y;
 			visited.set(s_1 * daSize + q_1);
 
-			// Go through transitions from state s_1 in original DTMC
+			// Go through transitions from state s_1 in original MDP
 			int numChoices = mdp.getNumChoices(s_1);
 			for (int j = 0; j < numChoices; j++) {
 				Distribution prodDistr = new Distribution();