From f0826d03e0d0d2269515c71ff98103da5d655b7d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 2 Jun 2010 20:08:10 +0000 Subject: [PATCH] Bugfix in preproc due to PTA syntax checks. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1925 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/visitor/SemanticCheck.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/visitor/SemanticCheck.java b/prism/src/parser/visitor/SemanticCheck.java index 7d9a1f0b..2e212ff5 100644 --- a/prism/src/parser/visitor/SemanticCheck.java +++ b/prism/src/parser/visitor/SemanticCheck.java @@ -360,7 +360,7 @@ public class SemanticCheck extends ASTTraverse public void visitPost(ExpressionVar e) throws PrismLangException { // For PTAs, references to variables in modules have to be local - if (modulesFile.getModelType() == ModelType.PTA && module != null) { + if (modulesFile != null && modulesFile.getModelType() == ModelType.PTA && module != null) { if (!module.isLocalVariable(e.getName())) { throw new PrismLangException("Modules in a PTA cannot access non-local variables", e); }