From 23943916e6724461c612e145bc5275d4f0108aee Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 9 Jul 2013 15:52:09 +0000
Subject: [PATCH] Comments

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

diff --git a/prism/src/strat/MDStrategyArray.java b/prism/src/strat/MDStrategyArray.java
index 9eb1d64d..b4bcb11c 100644
--- a/prism/src/strat/MDStrategyArray.java
+++ b/prism/src/strat/MDStrategyArray.java
@@ -32,7 +32,9 @@ package strat;
  */
 public class MDStrategyArray extends MDStrategy
 {
+	// Model associated with the strategy
 	private explicit.NondetModel model;
+	// Index of choice taken in each state 
 	private int choices[];
 	
 	/**