Bugfix in Module deepCopy().

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4552 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/Module.java

@@ -266,6 +266,7 @@ public class Module extends ASTElement
 	{
 		int i, n;
 		Module ret = new Module(name);
+		if (nameASTElement != null)
 			ret.setNameASTElement((ExpressionIdent)nameASTElement.deepCopy());
 		n = getNumDeclarations();
 		for (i = 0; i < n; i++) {