]> matita.cs.unibo.it Git - helm.git/blob - reader/minilex.mll
made executable again
[helm.git] / reader / minilex.mll
1 { }
2 rule nextchar = parse 
3     _ 
4       { Some (Lexing.lexeme lexbuf).[0] }
5   | eof
6       { None }
7 { }