X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Frdfly%2Frdfly.ml;fp=helm%2FDEVEL%2Frdfly%2Frdfly.ml;h=d0bddd8ec21e51e7070ee9eaa27aa45d81523514;hp=da06477dc652a7e1d8cfe5f4788c7b0f3fab482f;hb=b3fdada9a2439c2ce1320350252e330be490b2da;hpb=16d6d961a5d7db08bfdf1bccae7f36c6b2fd7fe2

diff --git a/helm/DEVEL/rdfly/rdfly.ml b/helm/DEVEL/rdfly/rdfly.ml
index da06477dc..d0bddd8ec 100644
--- a/helm/DEVEL/rdfly/rdfly.ml
+++ b/helm/DEVEL/rdfly/rdfly.ml
@@ -24,7 +24,7 @@ let mk_new_msg () = ref []
 let msg_output_string msg s = msg := s::!msg
 
 let msg_serialize msg =
-  List.fold_left (fun acc s -> s ^ acc) "" !msg
+  String.concat "" (List.rev !msg)
 
 let msg_output_header msg obj =
   msg_output_string msg "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n\n" ;