From b145e03e5e25cfd59f544312efe3ea93e265a8ce Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 13 Sep 2008 20:04:28 -0400
Subject: Crud gets column headings

---
 tests/crud.urs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/crud.urs')

diff --git a/tests/crud.urs b/tests/crud.urs
index 4741af00..988c5458 100644
--- a/tests/crud.urs
+++ b/tests/crud.urs
@@ -1,4 +1,4 @@
-con colMeta' = fn t :: Type => {Show : t -> xbody}
+con colMeta' = fn t :: Type => {Nam : string, Show : t -> xbody}
 con colMeta = fn cols :: {Type} => $(Top.mapTT colMeta' cols)
 
 functor Make(M : sig
-- 
cgit v1.2.3