diff options
Diffstat (limited to 'toplevel/opttoploop.ml')
| -rw-r--r-- | toplevel/opttoploop.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/opttoploop.ml b/toplevel/opttoploop.ml index 770ce481cf..5bac897810 100644 --- a/toplevel/opttoploop.ml +++ b/toplevel/opttoploop.ml @@ -325,7 +325,7 @@ let use_file ppf name = with | Exit -> false | Sys.Break -> fprintf ppf "Interrupted.@."; false - | x -> Opterrors.report_error ppf x; false) in + | x -> Location.report_exception ppf x; false) in if must_close then close_in ic; success with Not_found -> fprintf ppf "Cannot find file %s.@." name; false @@ -439,7 +439,7 @@ let loop ppf = | End_of_file -> exit 0 | Sys.Break -> fprintf ppf "Interrupted.@."; Btype.backtrack snap | PPerror -> () - | x -> Opterrors.report_error ppf x; Btype.backtrack snap + | x -> Location.report_exception ppf x; Btype.backtrack snap done (* Execute a script *) |