From 8361366efb36251fb410ec7c9802cd518f997245 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 25 Jun 2013 21:41:19 +0000
Subject: [PATCH] Code comment

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

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 657ccd9f..106ae3d6 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -1544,6 +1544,7 @@ public class DTMCModelChecker extends ProbModelChecker
 			} else {
 				
 				// 2. Build DTMC directly
+				//    Run as: PRISM_MAINCLASS=explicit.DTMCModelChecker bin/prism
 				//    (example taken from p.14 of Lec 5 of http://www.prismmodelchecker.org/lectures/pmc/) 
 				mc = new DTMCModelChecker();
 				dtmc = new DTMCSimple(6);