From 2119ef3f85b01a1d211573de7e8a9b44521d9b92 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 26 Aug 2015 10:39:43 +0000
Subject: [PATCH] Slight tweak to LTL test in parser.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10583 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/PrismParser.java | 1 -
 prism/src/parser/PrismParser.jj   | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java
index 33445136..551c1a44 100644
--- a/prism/src/parser/PrismParser.java
+++ b/prism/src/parser/PrismParser.java
@@ -108,7 +108,6 @@ public class PrismParser implements PrismParserConstants {
                         }
                 }
                 catch (PrismLangException e) {
-                	e.printStackTrace();
                         System.out.println("Error in "+src+": " + e.getMessage()+"."); System.exit(1);
                 }
                 catch (FileNotFoundException e) {
diff --git a/prism/src/parser/PrismParser.jj b/prism/src/parser/PrismParser.jj
index bcdc3eae..34e2774c 100644
--- a/prism/src/parser/PrismParser.jj
+++ b/prism/src/parser/PrismParser.jj
@@ -119,7 +119,7 @@ public class PrismParser
 				System.out.println("LTL formula: " + expr.toString());
 				System.out.print("Tree:\n=====\n" + expr.toTreeString());
 				expr.typeCheck();
-				expr.semanticCheck();
+				//expr.semanticCheck();
 				System.out.println("Type: " + expr.getType().getTypeString());
 				boolean pnf = Expression.isPositiveNormalFormLTL(expr);
 				System.out.println("Positive normal form: " + pnf);