X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FTeX.ml;h=c213d4d9629a689379f39cb0068e13bd4d2fbbfe;hb=21679cd1397d9c51519dbe439c29c1683b91ec64;hp=d5eb305dbd5cd61038321323290b9066d8edb470;hpb=6b022cf2cccae67144ff045415e748b0b5c3a3d9;p=helm.git

diff --git a/matita/components/binaries/matex/TeX.ml b/matita/components/binaries/matex/TeX.ml
index d5eb305db..c213d4d96 100644
--- a/matita/components/binaries/matex/TeX.ml
+++ b/matita/components/binaries/matex/TeX.ml
@@ -23,8 +23,12 @@ let empty = [Free ""]
 
 let newline = [Free "%\n"]
 
+let group s = Group s
+
 let arg s = Group [Free s]
 
 let mk_rev_args riss =
-   L.rev_map (fun t -> Group t) (empty :: riss)
- 
+   L.rev_map group (empty :: riss)
+
+let mk_segs us =
+   L.rev_map arg ("" :: (L.rev us))