From 8f696d47f713e465b9d0dbbc72b7d890fa8fcc30 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 22 Oct 2003 11:27:35 +0000
Subject: Suppression dependance formelle en Vernacexpr

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4699 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/esyntax.ml  | 1 -
 parsing/esyntax.mli | 1 -
 2 files changed, 2 deletions(-)

diff --git a/parsing/esyntax.ml b/parsing/esyntax.ml
index 08b9f8ab89..74bebb0a06 100644
--- a/parsing/esyntax.ml
+++ b/parsing/esyntax.ml
@@ -16,7 +16,6 @@ open Coqast
 open Ast
 open Extend
 open Ppextend
-open Vernacexpr
 open Names
 open Nametab
 open Topconstr
diff --git a/parsing/esyntax.mli b/parsing/esyntax.mli
index 9ee6b9f0ad..e795b02aed 100644
--- a/parsing/esyntax.mli
+++ b/parsing/esyntax.mli
@@ -11,7 +11,6 @@
 (*i*)
 open Pp
 open Extend
-open Vernacexpr
 open Symbols
 open Ppextend
 open Topconstr
-- 
cgit v1.2.3