X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fmatrix.ml;h=86d6f053a4a72027787d5b1da2f4b362c3e6f4fe;hb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;hp=4769a54574886ab91c35ba3d0db2aaf558ceef42;hpb=645b62762e9c86e343d4741541a2ddccfed8ebc7;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/matrix.ml b/helm/www/lambdadelta/bin/xhtbl/matrix.ml
index 4769a5457..86d6f053a 100644
--- a/helm/www/lambdadelta/bin/xhtbl/matrix.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/matrix.ml
@@ -3,7 +3,7 @@ module A = Array
 module T = Table
 
 type cell = {
-   ck: string list; (* contents *)
+   ck: T.text list; (* contents *)
    cc: T.css;       (* css classes *)
    cb: T.border;    (* border *)
 }