From c7f03d38323ba4c7ed9a30efa8ebccc3a1ee7589 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 11 Jan 2002 21:39:15 +0000
Subject: Orthographe

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2392 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/xml/xml.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/xml/xml.ml4 b/contrib/xml/xml.ml4
index 60e16ab19b..ec2cd94759 100644
--- a/contrib/xml/xml.ml4
+++ b/contrib/xml/xml.ml4
@@ -73,7 +73,7 @@ let pp strm fn =
        channel := open_out filename ;
        pp_r 0 strm ;
        close_out !channel ;
-       print_string ("\nWriting on file \"" ^ filename ^ "\" was succesfull\n");
+       print_string ("\nWriting on file \"" ^ filename ^ "\" was succesful\n");
        flush stdout
    | None ->
        pp_r 0 strm
-- 
cgit v1.2.3