From b156e146df810f7d83e0ec7c92a2346f8860d30b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 24 May 2019 17:46:21 +0100 Subject: [PATCH] Code tidy. --- 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 8db9af2f..46d27446 100644 --- a/prism/src/explicit/ConstructModel.java +++ b/prism/src/explicit/ConstructModel.java @@ -68,7 +68,7 @@ public class ConstructModel extends PrismComponent /** Should actions be attached to distributions (and used to distinguish them)? */ protected boolean distinguishActions = true; /** Should labels be processed and attached to the model? */ - protected boolean attachLabels = true; + protected boolean attachLabels = true; // Details of built model: