From a9adcb3941900c416f106ddac6fd646603b335b8 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 26 Oct 2014 22:33:45 +0100
Subject: Dead code

---
 pretyping/unification.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/unification.ml b/pretyping/unification.ml
index 1a1d03cc8a..07940bf57d 100644
--- a/pretyping/unification.ml
+++ b/pretyping/unification.ml
@@ -1480,7 +1480,7 @@ let make_abstraction_core name (test,out) env sigma c ty occs check_occs concl =
             ++ str ".")
         else
           (push_named_context_val d sign,depdecls)
-    | (AtOccs (AllOccurrences, InHyp) | LikeFirst) as occ ->
+    | (AtOccs (AllOccurrences, InHyp) | LikeFirst) ->
         let newdecl = replace_term_occ_decl_modulo LikeFirst test mkvarid d in
         if Context.eq_named_declaration d newdecl
            && not (indirectly_dependent c d depdecls)
-- 
cgit v1.2.3