summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 9f5a9b97..04404ad5 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -680,10 +680,10 @@ val tr : other ::: {Unit} -> [other ~ [Body, Table, Tr]] => unit
-> tag tableEvents
([Body, Table] ++ other) ([Body, Tr] ++ other) [] []
val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
- -> tag tableEvents
+ -> tag ([Colspan = int] ++ tableEvents)
([Body, Tr] ++ other) ([Body] ++ other) [] []
val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
- -> tag tableEvents
+ -> tag ([Colspan = int] ++ tableEvents)
([Body, Tr] ++ other) ([Body] ++ other) [] []