Merge branch 'ANUBIS_1_14' of gitlab.anubis-language.com:anubis/anubis into ANUBIS_1_14

totoro
2 parents c9b7e42e a630acd4
Showing 1 changed file with 1 additions and 1 deletions Show diff stats
anubis_dev/library/lexical_analysis/fast_lexer_4.anubis
@@ -618,7 +618,7 @@ public type DFA_state($Token,$Aux):
    variant of 'make_lexer':
  
 public define Result(RegExprError, 
-                     (LexingStream -> One -> LexerOutput($Token),     // the lexer
+                     ((LexingStream,$Aux) -> One -> LexerOutput($Token),     // the lexer
                       List(DFA_state($Token,$Aux))))                        // the automaton
    make_lexer_and_automaton
      (