From 7cdfacab2168f00554153f479c6e2864453120dd Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 15 Jan 2021 14:25:54 +0000 Subject: [PATCH] Comment fix. --- prism/src/explicit/ConstructModel.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java index 64dd84a7..0722e4ce 100644 --- a/prism/src/explicit/ConstructModel.java +++ b/prism/src/explicit/ConstructModel.java @@ -426,7 +426,7 @@ public class ConstructModel extends PrismComponent // For partially observable models, add observation info to states // (do it after full model construction, including deadlock fixing, - // because the number of choices for each observation are checked) this here because we need the choice count) + // because the number of choices for each observation are checked) if (modelType == ModelType.POMDP) { for (int s = 0; s < statesList.size(); s++) { setStateObservation((POMDPSimple)model, s, statesList.get(s), observableVars, unobservableVars, modelGen);