From cbd815a289db52f58235f23f5afba3be49cc8eed Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 27 Dec 2015 13:54:18 +0100
Subject: Removing dead code.

---
 kernel/inductive.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/inductive.ml')

diff --git a/kernel/inductive.ml b/kernel/inductive.ml
index 632b4daeae..d0df5c7b38 100644
--- a/kernel/inductive.ml
+++ b/kernel/inductive.ml
@@ -151,7 +151,7 @@ let remember_subst u subst =
 
 (* Bind expected levels of parameters to actual levels *)
 (* Propagate the new levels in the signature *)
-let rec make_subst env =
+let make_subst env =
   let rec make subst = function
     | (_,Some _,_)::sign, exp, args ->
         make subst (sign, exp, args)
-- 
cgit v1.2.3