add __POS__ argument to Err_unreachable for better error reporting

1 files changed, 1 insertions, 1 deletions

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index b459610d..f6da074c 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -594,7 +594,7 @@ let def_of_component graph defset comp =
        | DEF_fundef fundef -> [fundef]
        | DEF_internal_mutrec fundefs -> fundefs
        | _ ->
-          raise (Reporting_basic.err_unreachable (def_loc def)
+          raise (Reporting_basic.err_unreachable (def_loc def) __POS__
             "Trying to merge non-function definition with mutually recursive functions") in
      let fundefs = List.concat (List.map get_fundefs defs) in
      print_dot graph (List.map (fun fd -> string_of_id (id_of_fundef fd)) fundefs);