X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeX.ml;fp=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeX.ml;h=01ab717f1f7898c2beaddc9a686cd0ce62a0feeb;hb=709537efda53c6189ed3e3e9877f1f93ac6d512a;hp=184a6937cf3cc336348fede07f61041ef59b4178;hpb=bb6e68b2cf746bb3108543807207a1ca628ab442;p=helm.git

diff --git a/matita/components/binaries/matex/TeX.ml b/matita/components/binaries/matex/TeX.ml
index 184a6937c..01ab717f1 100644
--- a/matita/components/binaries/matex/TeX.ml
+++ b/matita/components/binaries/matex/TeX.ml
@@ -31,8 +31,8 @@ let free s = Group [Free s]
 let mk_segs us =
    L.rev_map arg ("" :: (L.rev us))
 
-let mk_rev_args riss =
-   L.rev_map group ([] :: riss)
+let mk_rev_args riss is =
+   X.rev_map_append group ([] :: riss) is
 
 let rev_mk_args iss is =
    free "" :: X.rev_map_append group iss is