From 8b1b6e76a6229d9c091bf805e3786bdf0038ae32 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Thu, 13 Apr 2017 11:20:20 +0200
Subject: Silence a few OCaml warnings.

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

(limited to 'pretyping/patternops.ml')

diff --git a/pretyping/patternops.ml b/pretyping/patternops.ml
index 318f94be2..2eff1936f 100644
--- a/pretyping/patternops.ml
+++ b/pretyping/patternops.ml
@@ -156,7 +156,7 @@ let pattern_of_constr env sigma t =
     | Construct (sp,u) -> PRef (canonical_gr (ConstructRef sp))
     | Proj (p, c) -> 
       pattern_of_constr env (EConstr.Unsafe.to_constr (Retyping.expand_projection env sigma p (EConstr.of_constr c) []))
-    | Evar (evk,ctxt as ev) ->
+    | Evar (evk,ctxt) ->
       (match snd (Evd.evar_source evk sigma) with
       | Evar_kinds.MatchingVar (b,id) ->
         assert (not b); PMeta (Some id)
-- 
cgit v1.2.3