]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/pass3.ml
update in basic_2
[helm.git] / helm / www / lambdadelta / bin / xhtbl / pass3.ml
index 337437709e7c777c6f47a1e064e0ce4412744060..d2455a30ac4257e1fb7a55c22767b3ed61b9dacd 100644 (file)
@@ -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