summaryrefslogtreecommitdiff
path: root/contrib/xml/xml.ml4
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/xml/xml.ml4')
-rw-r--r--contrib/xml/xml.ml42
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/xml/xml.ml4 b/contrib/xml/xml.ml4
index e2d04cb7..5b217119 100644
--- a/contrib/xml/xml.ml4
+++ b/contrib/xml/xml.ml4
@@ -70,7 +70,7 @@ let pp strm fn =
let ch = open_out filename in
pp_ch strm ch;
close_out ch ;
- print_string ("\nWriting on file \"" ^ filename ^ "\" was succesful\n");
+ print_string ("\nWriting on file \"" ^ filename ^ "\" was successful\n");
flush stdout
| None ->
pp_ch strm stdout