summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--compiler/ExtractBase.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 6130528c..47b613c2 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -259,7 +259,7 @@ let report_name_collision (id_to_string : id -> string)
let meta_to_string (meta : Meta.meta option) =
match meta with
| None -> ""
- | Some meta -> "\n " ^ Errors.meta_to_string meta.span
+ | Some meta -> "\n " ^ Errors.meta_to_string meta
in
let id1 = "\n- " ^ id_to_string id1 ^ meta_to_string meta1 in
let id2 = "\n- " ^ id_to_string id2 ^ meta_to_string meta2 in