diff options
Diffstat (limited to 'sched/netlist_lexer.mll')
| -rw-r--r-- | sched/netlist_lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sched/netlist_lexer.mll b/sched/netlist_lexer.mll index 78b0410..60cb223 100644 --- a/sched/netlist_lexer.mll +++ b/sched/netlist_lexer.mll @@ -29,7 +29,7 @@ rule token = parse | "=" { EQUAL } | ":" { COLON } | "," { COMMA } - | ['0'-'9']+ as lxm { INT(int_of_string lxm) } + | ['0'-'9']+ as lxm { INT(lxm) } | ('_' ? ['A'-'Z' 'a'-'z']('_' ? ['A'-'Z' 'a'-'z' ''' '0'-'9']) * as id) { let s = Lexing.lexeme lexbuf in try List.assoc s keyword_list |