From 56492a2c4801e14de9f195b924bff0b48f68d2c4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 15 Sep 2009 12:23:42 -0400
Subject: Fixed a Mono_reduce bug, which was breaking selection enabling in
 Grid

---
 lib/ur/basis.urs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/ur')

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) [] []
 
 
-- 
cgit v1.2.3