diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index f8bc9786..4284a252 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -66,8 +66,8 @@ let parse_file (f : string) : Parse_ast.defs = raise (Reporting_basic.Fatal_error (Reporting_basic.Err_syntax (pos, ""))) | Parse_ast.Parse_error_locn(l,m) -> raise (Reporting_basic.Fatal_error (Reporting_basic.Err_syntax_locn (l, m))) - | Lexer.LexError(c,p) -> - raise (Reporting_basic.Fatal_error (Reporting_basic.Err_lex (p, c))) + | Lexer.LexError(s,p) -> + raise (Reporting_basic.Fatal_error (Reporting_basic.Err_lex (p, s))) (* type instances = Types.instance list Types.Pfmap.t |