From 19cf9926c93a37d736bdaf3da46293165f73b634 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 8 Dec 2009 11:01:23 +0000
Subject: [PATCH] Comment.

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

diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java
index 7c75e31b..e8e682c9 100644
--- a/prism/src/prism/NondetModel.java
+++ b/prism/src/prism/NondetModel.java
@@ -231,6 +231,8 @@ public class NondetModel extends ProbModel
 		if (!deadlocks.equals(JDD.ZERO)) {
 			// remove deadlocks by adding self-loops to trans
 			// (also update transInd (if necessary) at same time)
+			// (note: we don't need to update transActions since
+			//  action-less transitions are encoded as 0 anyway)
 			JDD.Ref(deadlocks);
 			tmp = JDD.SetVectorElement(JDD.Constant(0), allDDNondetVars, 0, 1);
 			tmp = JDD.And(tmp, JDD.Identity(allDDRowVars, allDDColVars));