diff options
Diffstat (limited to 'contrib/xml/xml.ml')
| -rw-r--r-- | contrib/xml/xml.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/xml/xml.ml b/contrib/xml/xml.ml index 5cb3dbd06b..635e83f68a 100644 --- a/contrib/xml/xml.ml +++ b/contrib/xml/xml.ml @@ -62,6 +62,7 @@ let pp strm fn = in match fn with Some filename -> + let filename = filename ^ ".xml" in channel := open_out filename ; pp_r 0 strm ; close_out !channel ; |