From 6ae76dbd77ae0af0db606263b0c2d62daed74202 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 28 Aug 2018 18:15:54 +0100
Subject: add __POS__ argument to Err_unreachable for better error reporting

---
 src/spec_analysis.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/spec_analysis.ml')

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);
-- 
cgit v1.2.3