Fix bug in subsignature check for con synonyms

1 files changed, 2 insertions, 2 deletions

diff --git a/tests/crud.ur b/tests/crud.ur
index 6bbcbe1f..c3e76e6a 100644
--- a/tests/crud.ur
+++ b/tests/crud.ur
@@ -7,7 +7,7 @@ functor Make(M : sig
 
         val title : string
 
-        val cols : $(Top.mapTT (fn t => {Show : t -> xbody}) cols)
+        val cols : colMeta cols
 end) = struct
 
 open constraints M
@@ -22,7 +22,7 @@ fun list () =
                                 {fold [fn cols :: {Type} => $cols -> colMeta cols -> xtr]
                                         (fn (nm :: Name) (t :: Type) (rest :: {Type}) acc =>
                                                 [[nm] ~ rest] =>
-                                                fn (r : $([nm = t] ++ rest)) cols =>
+                                                fn r cols =>
                                                 <tr>
                                                         <td>{cols.nm.Show r.nm}</td>
                                                         {acc (r -- nm) (cols -- nm)}