From b1eef69751a05eebdbdc9d3091e1dae3386218d0 Mon Sep 17 00:00:00 2001
From: coq
Date: Fri, 16 Aug 2002 10:00:36 +0000
Subject: Strengthenning rules for modules + No modules in sections

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

(limited to 'kernel/indtypes.ml')

diff --git a/kernel/indtypes.ml b/kernel/indtypes.ml
index 036bce60bd..58a117bdcf 100644
--- a/kernel/indtypes.ml
+++ b/kernel/indtypes.ml
@@ -525,7 +525,9 @@ let build_inductive env env_ar finite inds recargs cst =
     mind_hyps = hyps;
     mind_packets = packets;
     mind_constraints = cst;
-    mind_singl = None }
+    mind_singl = None;
+    mind_equiv = None;
+  }
 
 (***********************************************************************)
 (***********************************************************************)
-- 
cgit v1.2.3