From e9bcc972d8acdf7fc83bd83e1a98af0e50390b6c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 5 Nov 2003 13:44:17 +0000
Subject: Modules obsoletes de ZArith en v8

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

diff --git a/translate/ppvernacnew.ml b/translate/ppvernacnew.ml
index 79ba46576c..de2f055996 100644
--- a/translate/ppvernacnew.ml
+++ b/translate/ppvernacnew.ml
@@ -1076,7 +1076,8 @@ let pr_vernac = function
 	["Refine"; "Inv"; "Equality"; "EAuto"; "AutoRewrite"; "EqDecide"; 
          "Xml"; "Extraction"; "Tauto"; "Setoid_replace";"Elimdep";
 	 "DatatypesSyntax"; "LogicSyntax"; "Logic_TypeSyntax";
-	 "SpecifSyntax"; "PeanoSyntax"; "TypeSyntax"; "PolyListSyntax"] ->
+	 "SpecifSyntax"; "PeanoSyntax"; "TypeSyntax"; "PolyListSyntax";
+	 "Zsyntax";"zarith_aux"] ->
       warning ("Forgetting obsolete module "^(string_of_id r));
       mt()
   | VernacImport (false,[Libnames.Ident (_,a)]) when
-- 
cgit v1.2.3