From f172147decf35906708e4c0896f644ebca9c0eeb Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 15 Oct 2002 14:21:35 +0000
Subject: pattern-matching avec cas inutilise dans closure

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

(limited to 'kernel')

diff --git a/kernel/closure.ml b/kernel/closure.ml
index 2d30b2aa3..078f46b8d 100644
--- a/kernel/closure.ml
+++ b/kernel/closure.ml
@@ -884,7 +884,7 @@ let rec knh m stk =
            | (None, stk') -> (m,stk'))
     | FCast(t,_) -> knh t stk
 (* cases where knh stops *)
-    | (FFlex _|FLetIn _|FInd _|FConstruct _|FEvar _) -> (m, stk)
+    | (FFlex _|FLetIn _|FConstruct _|FEvar _) -> (m, stk)
     | (FRel _|FAtom _|FInd _) -> (set_norm m; (m, stk))
     | (FLambda _|FCoFix _|FProd _) ->
         (set_whnf m; (m, stk))
-- 
cgit v1.2.3