From 0256a92eb0d0265750bd38a85dce4f9487aefe5b Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 6 Oct 2012 10:08:51 +0000
Subject: still some more dead code removal

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

(limited to 'checker/typeops.ml')

diff --git a/checker/typeops.ml b/checker/typeops.ml
index 91f58a04a..ad05f96b7 100644
--- a/checker/typeops.ml
+++ b/checker/typeops.ml
@@ -75,7 +75,7 @@ let judge_of_variable env id =
 (* Checks if a context of variable can be instantiated by the
    variables of the current env *)
 (* TODO: check order? *)
-let rec check_hyps_inclusion env sign =
+let check_hyps_inclusion env sign =
   fold_named_context
     (fun (id,_,ty1) () ->
       let ty2 = named_type id env in
-- 
cgit v1.2.3