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[]; /**