X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass3.ml;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass3.ml;h=d2455a30ac4257e1fb7a55c22767b3ed61b9dacd;hb=3167db4903eea2eddc60a91cfd922be3672ce077;hp=337437709e7c777c6f47a1e064e0ce4412744060;hpb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/pass3.ml b/helm/www/lambdadelta/bin/xhtbl/pass3.ml
index 337437709..d2455a30a 100644
--- a/helm/www/lambdadelta/bin/xhtbl/pass3.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/pass3.ml
@@ -22,6 +22,7 @@ let process_cell st y x c =
       (A.get_attr L.concat [] st.c y x)
       (A.get_attr (S.concat "") "" st.u y x)
       (A.get_attr (S.concat "") "" st.x y x)
+      ""
 
 let process_row st y row =
    V.iteri (process_cell st y) row