From 6033aab09ec0f6c14ba783b01544445a087012c8 Mon Sep 17 00:00:00 2001
From: delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 21 Nov 2000 22:34:40 +0000
Subject: Tout est deja traite dans Tacinterp

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

(limited to 'proofs/tacinterp.ml')

diff --git a/proofs/tacinterp.ml b/proofs/tacinterp.ml
index 39630ec38..c2dcf0bec 100644
--- a/proofs/tacinterp.ml
+++ b/proofs/tacinterp.ml
@@ -15,7 +15,6 @@ open Names
 open Proof_type
 open Tacmach
 open Tactic_debug
-open Macros
 open Coqast
 open Ast
 open Term
-- 
cgit v1.2.3