diff options
Diffstat (limited to 'lib/lexer.mli')
| -rw-r--r-- | lib/lexer.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/lexer.mli b/lib/lexer.mli index 65e9fa0..585877c 100644 --- a/lib/lexer.mli +++ b/lib/lexer.mli @@ -1,7 +1,3 @@ -module type Encoding = sig - val lexeme : Sedlexing.lexbuf -> string -end - exception EOF val token : Lexbuf.t -> Tokens.token |