summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-15 12:23:42 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-15 12:23:42 -0400
commit56492a2c4801e14de9f195b924bff0b48f68d2c4 (patch)
tree6a91bb53b96551cfc883f26a56233821d6768f8c /lib
parentcbf9a437d79ca88f901d97c4d8881f7d4e711d2d (diff)
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Diffstat (limited to 'lib')
-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) [] []