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 deleted file mode 100644 index 585877c..0000000 --- a/lib/lexer.mli +++ /dev/null @@ -1,4 +0,0 @@ -exception EOF - -val token : Lexbuf.t -> Tokens.token -val discard : Lexbuf.t -> unit |