Mercurial > urweb

diff demo/more/grid0.ur @ 1304:f0afe61a6f8b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweaking unification fix to apply to demo/more
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 15:37:14 -0400
parents 8932f855fa85
children
line wrap: on
line diff
--- a/demo/more/grid0.ur	Sun Oct 10 14:41:03 2010 -0400
+++ b/demo/more/grid0.ur	Sun Oct 10 15:37:14 2010 -0400
@@ -13,8 +13,8 @@
                          A = {New = return 0,
                               Inj = _}}
 
-              val cols = {Id = Direct.readOnly [#Id] ! "Id" Direct.int,
-                          A = Direct.editable [#A] ! "A" Direct.int}
+              val cols = {Id = Direct.readOnly [#Id] "Id" Direct.int,
+                          A = Direct.editable [#A] "A" Direct.int}
 
               val aggregates = {}