From b9f7db726f74af6bf0c97157f14789feac4efb9c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 18 Jun 2009 13:00:28 +0000
Subject: [PATCH] Comment.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1116 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Module.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/Module.java b/prism/src/parser/ast/Module.java
index 696c4a5f..6116693e 100644
--- a/prism/src/parser/ast/Module.java
+++ b/prism/src/parser/ast/Module.java
@@ -43,7 +43,7 @@ public class Module extends ASTElement
 	private ArrayList<Command> commands;
 	// Parent ModulesFile
 	private ModulesFile parent;
-	// Base module (if was constructed through renaming)
+	// Base module (if was constructed through renaming; null if not)
 	private String baseModule;
 
 	// Constructor