1 files changed, 2 insertions, 1 deletions
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}