From 2b61cb974c847669eaf24dfbf47d8615812481fb Mon Sep 17 00:00:00 2001
From: barras
Date: Sat, 11 Oct 2003 00:20:33 +0000
Subject: mise a jour nouvelle syntaxe

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

(limited to 'translate')

diff --git a/translate/ppvernacnew.ml b/translate/ppvernacnew.ml
index ebf6a14d08..4f94658aae 100644
--- a/translate/ppvernacnew.ml
+++ b/translate/ppvernacnew.ml
@@ -525,7 +525,10 @@ let rec pr_vernac = function
   | VernacRestoreState s -> str"Restore State" ++ spc() ++ qsnew s
 
   (* Control *)
-  | VernacList l -> hov 2 (str"[" ++ spc() ++ prlist_with_sep (fun _ -> sep_end () ++ fnl() ) (pr_located pr_vernac) l ++ spc() ++ str"]") 
+  | VernacList l ->
+      hov 2 (str"[" ++ spc() ++
+             prlist (fun v -> pr_located pr_vernac v ++ sep_end () ++ fnl()) l
+             ++ spc() ++ str"]") 
   | VernacLoad (f,s) -> str"Load" ++ if f then (spc() ++ str"Verbose"
   ++ spc()) else spc()  ++ qsnew s
   | VernacTime v -> str"Time" ++ spc() ++ pr_vernac v
-- 
cgit v1.2.3