diff options
Diffstat (limited to 'otherlibs/labltk/compiler/ppparse.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/ppparse.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/compiler/ppparse.ml b/otherlibs/labltk/compiler/ppparse.ml index 91287d34a..3d1ee2af4 100644 --- a/otherlibs/labltk/compiler/ppparse.ml +++ b/otherlibs/labltk/compiler/ppparse.ml @@ -26,11 +26,11 @@ let parse_channel ic = and loc_end = Lexing.lexeme_end lexbuf in raise (Error (Printf.sprintf "parse error at char %d, %d: %s" - loc_start loc_end s)) + loc_start loc_end s)) | Parsing.Parse_error -> let loc_start = Lexing.lexeme_start lexbuf and loc_end = Lexing.lexeme_end lexbuf in raise (Error (Printf.sprintf "parse error at char %d, %d" - loc_start loc_end)) + loc_start loc_end)) ;; |