From 1a27e5f3ae317477f24893178023b714dbe4cc71 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 19 Jan 2007 16:58:56 +0000
Subject: Protection contre les warnings 'unused variable' de ocaml 3.09

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

(limited to 'kernel')

diff --git a/kernel/vm.ml b/kernel/vm.ml
index 131e8320f4..c1d3ca56fd 100644
--- a/kernel/vm.ml
+++ b/kernel/vm.ml
@@ -476,7 +476,6 @@ let reduce_cofix k vcf =
     Array.map (fun c -> interprete c crasy_val (Obj.magic vcf) 0) fc_typ in
   (* Construction de l'environnement des corps des cofix *)
 
-  let max = k + ndef - 1 in 
   let e = Obj.dup (Obj.repr vcf) in 
   for i = 0 to ndef - 1 do
     Obj.set_field e (i+1) (Obj.repr (val_of_rel (k+i))) 
-- 
cgit v1.2.3