From e4336097383a1acece35862eb2966ff6b7573eb9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 19 Dec 2014 14:11:52 +0100
Subject: Fix sigsegv in checker

---
 checker/check.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'checker/check.ml')

diff --git a/checker/check.ml b/checker/check.ml
index 668ee3705..1f84b56b5 100644
--- a/checker/check.ml
+++ b/checker/check.ml
@@ -355,7 +355,9 @@ let intern_from_file (dir, f) =
       LibraryMap.add md.md_name opaque_csts !opaque_univ_tables)
     opaque_csts;
   let extra_cst =
-    Option.default Univ.empty_constraint (Option.map pi2 opaque_csts) in
+    Option.default Univ.empty_constraint
+      (Option.map (fun (_,cs,_) ->
+         Univ.ContextSet.constraints cs) opaque_csts) in
   mk_library md f table digest extra_cst
 
 let get_deps (dir, f) =
-- 
cgit v1.2.3