diff --git a/prism/src/parser/ast/PropertiesFile.java b/prism/src/parser/ast/PropertiesFile.java index 92301995..2b861e97 100644 --- a/prism/src/parser/ast/PropertiesFile.java +++ b/prism/src/parser/ast/PropertiesFile.java @@ -71,7 +71,7 @@ public class PropertiesFile extends ASTElement // Set methods - /** Attach to a ModulesFile (so can access labels/constants etc.) */ + /** Attach model information (so can access labels/constants etc.) */ public void setModelInfo(ModelInfo modelInfo) { // Store ModelInfo