Comment.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1613 bbc10eb1-c90d-0410-af57-cb519fbb1720

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));