From 3afc84ea1d3f3a19979137013542dda60bf3740a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 27 Apr 2007 10:23:12 +0000 Subject: [PATCH] Preprocessor now ignores #s within comments (easy to change this back). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@320 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/Preprocessor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Preprocessor.java b/prism/src/prism/Preprocessor.java index 3b875b05..c0e0a5a8 100644 --- a/prism/src/prism/Preprocessor.java +++ b/prism/src/prism/Preprocessor.java @@ -35,7 +35,7 @@ import parser.*; public class Preprocessor { private final static char DELIMITER = '#'; - private final static boolean IGNORE_COMMENTS = false; + private final static boolean IGNORE_COMMENTS = true; // logs private PrismLog mainLog; // main log