From 2ad30811b217c0880f8ea65a7da0f755ec0cf9e6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 13 Sep 2008 10:30:45 -0400
Subject: foldTR2

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

(limited to 'tests/crud.urs')

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