diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-15 12:23:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-15 12:23:42 -0400 |
| commit | 56492a2c4801e14de9f195b924bff0b48f68d2c4 (patch) | |
| tree | 6a91bb53b96551cfc883f26a56233821d6768f8c /lib | |
| parent | cbf9a437d79ca88f901d97c4d8881f7d4e711d2d (diff) | |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Diffstat (limited to 'lib')
| -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 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) [] [] |