Comment typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9919 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 5e92fabe95
1 changed files with 1 additions and 1 deletions
--- 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();