From 44eb43907a88455c0cf223a411860a27d59c78b6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 15 Sep 2009 10:18:56 -0400 Subject: Summary row with aggregates --- demo/more/grid.urs | 1 + 1 file changed, 1 insertion(+) (limited to 'demo/more/grid.urs') diff --git a/demo/more/grid.urs b/demo/more/grid.urs index 083f458f..a3fd76cc 100644 --- a/demo/more/grid.urs +++ b/demo/more/grid.urs @@ -32,6 +32,7 @@ functor Make(M : sig con aggregates :: {Type} val aggregates : $(map (aggregateMeta row) aggregates) + val aggFolder : folder aggregates end) : sig type grid -- cgit v1.2.3