]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/textUnparser.ml
- xhtbl: we added the real concatenation of cells (without added spaces)
[helm.git] / helm / www / lambdadelta / bin / xhtbl / textUnparser.ml
index ece6949d920814fb15059a1431b66e182281797a..339a9aeecfc58c33da0ccf09268dfa4dab413582 100644 (file)
@@ -50,7 +50,7 @@ let text = function
    | T.Link (false, uri, s) -> P.sprintf "@@(\"%s\" \"%s\")" uri s
 
 let key = function
-   | T.Text sl       -> S.concat " + " (L.map text sl)
+   | T.Text sl       -> S.concat " ^ " (L.map text sl)
    | T.Glue None     -> "*"
    | T.Glue (Some i) -> P.sprintf "%u" i