diff options
| -rw-r--r-- | lib/ur/basis.urs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index bb671388..c4f5b2aa 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -824,10 +824,10 @@ val tr : other ::: {Unit} -> [other ~ [Body, Table, Tr]] => unit -> tag tableAttrs ([Body, Table] ++ other) ([Body, Tr] ++ other) [] [] val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit - -> tag ([Colspan = int] ++ tableAttrs) + -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) ([Body, Tr] ++ other) ([Body] ++ other) [] [] val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit - -> tag ([Colspan = int] ++ tableAttrs) + -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) ([Body, Tr] ++ other) ([Body] ++ other) [] [] |