Comment typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10998 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · 6e20db3f60
1 changed files with 1 additions and 1 deletions
--- 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