From e2db04fb2a37e860289a3d9edf889bbf57b7160d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 10 Jan 2006 22:45:28 +0000
Subject: Détection var inutile par ocaml 3.09

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

(limited to 'kernel')

diff --git a/kernel/environ.ml b/kernel/environ.ml
index 0555096e24..da41b60e91 100644
--- a/kernel/environ.ml
+++ b/kernel/environ.ml
@@ -356,7 +356,7 @@ let rec apply_to_hyp_and_dependent_on (ctxt,vals) id f g =
 let insert_after_hyp (ctxt,vals) id d check =
   let rec aux ctxt vals =
     match  ctxt, vals with
-    | (idc,c,ct as d')::ctxt', v::vals' ->
+    | (idc,c,ct)::ctxt', v::vals' ->
 	if idc = id then begin
 	  check ctxt; 
 	  push_named_context_val d (ctxt,vals) 
-- 
cgit v1.2.3