From 8e82c4096357355a148705341742702ff285f72a Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 28 Mar 2001 15:11:26 +0000
Subject: amelioration de la structure des univers elimination des compteurs
 globaux de metas et d'evars du noyau nettoyage de safe_typing.ml (plus de
 flags)

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

(limited to 'tactics/tactics.mli')

diff --git a/tactics/tactics.mli b/tactics/tactics.mli
index e17806ab76..07db3b4590 100644
--- a/tactics/tactics.mli
+++ b/tactics/tactics.mli
@@ -16,6 +16,7 @@ open Tacmach
 open Proof_type
 open Reduction
 open Evd
+open Evar_refiner
 open Clenv
 open Tacred
 open Tacticals
-- 
cgit v1.2.3