From c0820e30cbcec029de8eabce74f768498afceb06 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Arma=C3=ABl=20Gu=C3=A9neau?= Date: Fri, 27 Jul 2018 14:22:22 +0200 Subject: Location: significantly rework the code printing errors and warnings --- typing/typetexp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'typing/typetexp.ml') diff --git a/typing/typetexp.ml b/typing/typetexp.ml index 98c5807ccd..41ffb10dd8 100644 --- a/typing/typetexp.ml +++ b/typing/typetexp.ml @@ -1042,7 +1042,7 @@ let () = Location.register_error_of_exn (function | Error (loc, env, err) -> - Some (Location.error_of_printer loc (report_error env) err) + Some (Location.error_of_printer ~loc (report_error env) err) | Error_forward err -> Some err | _ -> -- cgit v1.2.1