changes
[IRC.git] / Robust / src / Main / Main.java
index 6d6a192e37c4bb702e19c06079272ca9d9d5e80d..d1c6c8b90c21f4c2271e45fd69ead09654b1e8b4 100644 (file)
@@ -687,7 +687,7 @@ public class Main {
   public static ParseNode readSourceFile(State state, String sourcefile) {
     try {
       Reader fr= new BufferedReader(new FileReader(sourcefile));
-      Lex.Lexer l = new Lex.Lexer(fr);
+      Lex.Lexer l = new Lex.Lexer(fr, state.TASK);
       java_cup.runtime.lr_parser g;
       g = new Parse.Parser(l);
       ParseNode p=null;