From 069ab52e2af900d498395ebd1b00b7983152326e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 23 Sep 2017 14:34:32 +0200
Subject: Removing dead code which raised questions.

---
 vernac/record.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/vernac/record.ml b/vernac/record.ml
index 9a8657c3c3..5533fe5b38 100644
--- a/vernac/record.ml
+++ b/vernac/record.ml
@@ -418,7 +418,6 @@ let declare_structure finite univs id idbuild paramimpls params arity template
       begin
         let env = Global.env () in
         let env' = Environ.push_context ctx env in
-        (* let env'' = Environ.push_rel_context params env' in *)
         let evd = Evd.from_env env' in
         Inductiveops.infer_inductive_subtyping env' evd mie
       end
-- 
cgit v1.2.3