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
19 years ago · 3afc84ea1d
1 changed files with 1 additions and 1 deletions
--- 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