diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 15:37:14 -0400 |
| commit | 7fd20122d4bfed16f82051d415f9e0c1c6db0e04 (patch) | |
| tree | 59ec01525ded42885a850c9e83ba458c79843ce5 /demo/more/grid0.ur | |
| parent | 5d51d86b0973fe6996b4b64ec78d9fc810177e02 (diff) | |
Tweaking unification fix to apply to demo/more
Diffstat (limited to 'demo/more/grid0.ur')
| -rw-r--r-- | demo/more/grid0.ur | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demo/more/grid0.ur b/demo/more/grid0.ur index 3e3d27ab..410554c9 100644 --- a/demo/more/grid0.ur +++ b/demo/more/grid0.ur @@ -13,8 +13,8 @@ open Make(struct 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 = {} |