From 9afd8f52ccaf51a9adafe1e817499e894b265394 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 18 May 2000 08:20:08 +0000
Subject: Effets de bords suite à la restructuration des inductives (cf
 Inductive)

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

diff --git a/tactics/elim.ml b/tactics/elim.ml
index 4e414b35ea..6bc3a4b123 100644
--- a/tactics/elim.ml
+++ b/tactics/elim.ml
@@ -7,6 +7,7 @@ open Names
 open Generic
 open Term
 open Reduction
+open Inductive
 open Proof_type
 open Clenv
 open Hipattern
-- 
cgit v1.2.3