From 33204e0f64a3db9cba4f9d46b835ffc91901ff00 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Feb 2012 21:08:23 +0000
Subject: [PATCH] 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 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/Module.java b/prism/src/parser/ast/Module.java
index ed372007..d1de0634 100644
--- a/prism/src/parser/ast/Module.java
+++ b/prism/src/parser/ast/Module.java
@@ -266,7 +266,8 @@ public class Module extends ASTElement
 	{
 		int i, n;
 		Module ret = new Module(name);
-		ret.setNameASTElement((ExpressionIdent)nameASTElement.deepCopy());
+		if (nameASTElement != null)
+			ret.setNameASTElement((ExpressionIdent)nameASTElement.deepCopy());
 		n = getNumDeclarations();
 		for (i = 0; i < n; i++) {
 			ret.addDeclaration((Declaration)getDeclaration(i).deepCopy());