From eee66457ddfd86c65cc1287b4545f828bf43f2dd Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 29 Jun 2000 10:50:27 +0000
Subject: Rien

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@522 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/pattern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs/pattern.ml')

diff --git a/proofs/pattern.ml b/proofs/pattern.ml
index 983154c80f..6d3c362d68 100644
--- a/proofs/pattern.ml
+++ b/proofs/pattern.ml
@@ -221,7 +221,7 @@ let rec pattern_of_constr t =
     | IsVar id -> PRef (RVar id)
     | IsSort (Prop c) -> PSort (RProp c)
     | IsSort (Type _) -> PSort RType
-    | IsCast (c,t)      -> pattern_of_constr c
+    | IsCast (c,_)      -> pattern_of_constr c
     | IsProd (na,c,b)   ->
 	PBinder (BProd,na,pattern_of_constr c,pattern_of_constr b)
     | IsLambda (na,c,b) ->
-- 
cgit v1.2.3