summaryrefslogtreecommitdiff
path: root/typing/typetexp.ml
diff options
context:
space:
mode:
authorArmaël Guéneau <armael.gueneau@ens-lyon.fr>2018-07-27 14:22:22 +0200
committerArmaël Guéneau <armael.gueneau@ens-lyon.fr>2018-08-08 17:42:08 +0200
commitc0820e30cbcec029de8eabce74f768498afceb06 (patch)
tree782cf017e0f7f643b8f954927a840d442fc9e231 /typing/typetexp.ml
parent818dc938f0081b21e201e112d64b429604d6c1a4 (diff)
downloadocaml-c0820e30cbcec029de8eabce74f768498afceb06.tar.gz
Location: significantly rework the code printing errors and warnings
Diffstat (limited to 'typing/typetexp.ml')
-rw-r--r--typing/typetexp.ml2
1 files changed, 1 insertions, 1 deletions
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
| _ ->