From 6e20db3f60ef9e6c6916417d0fc4b990c545a5ca Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 4 Dec 2015 03:42:58 +0000 Subject: [PATCH] Comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10998 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/PropertiesFile.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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