- Const is now processed properly

[helm.git] / matita / components / binaries / matex / TeX.ml

diff --git a/matita/components/binaries/matex/TeX.ml b/matita/components/binaries/matex/TeX.ml
index d5eb305dbd5cd61038321323290b9066d8edb470..c213d4d9629a689379f39cb0068e13bd4d2fbbfe 100644 (file)
--- 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))