diff options
Diffstat (limited to 'parsing/lexer.mli')
| -rw-r--r-- | parsing/lexer.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/lexer.mli b/parsing/lexer.mli index 8ecfbd069..b7dc6e25d 100644 --- a/parsing/lexer.mli +++ b/parsing/lexer.mli @@ -5,6 +5,8 @@ type error = | Illegal_character | Unterminated_comment | Unterminated_string + | Undefined_token + | Bad_token of string exception Error of error |