From d5d80dfc0f773fd6381ee4efefc74804d103fe4e Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Fri, 12 Aug 2016 17:46:18 +0200
Subject: CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple"
 function

---
 engine/termops.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'engine/termops.ml')

diff --git a/engine/termops.ml b/engine/termops.ml
index a047bf53c7..7afd7a0385 100644
--- a/engine/termops.ml
+++ b/engine/termops.ml
@@ -983,7 +983,10 @@ let rec mem_named_context id ctxt =
 
 let compact_named_context_reverse sign =
   let compact l decl =
-    let (i1,c1,t1) = NamedDecl.to_tuple decl in
+    let (i1,c1,t1) = match decl with
+                     | NamedDecl.LocalAssum (i,t) -> i,None,t
+                     | NamedDecl.LocalDef (i,c,t) -> i,Some c,t
+    in
     match l with
     | [] -> [[i1],c1,t1]
     | (l2,c2,t2)::q ->
-- 
cgit v1.2.3