New implicit argument handling

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/top.ur b/lib/top.ur
index 4b9f54ef..bdf5f182 100644
--- a/lib/top.ur
+++ b/lib/top.ur
@@ -20,7 +20,7 @@ fun compose (t1 ::: Type) (t2 ::: Type) (t3 ::: Type)
             (f1 : t2 -> t3) (f2 : t1 -> t2) (x : t1) = f1 (f2 x)
 
 fun txt (t ::: Type) (ctx ::: {Unit}) (use ::: {Type}) (sh : show t) (v : t) =
-    cdata (show sh v)
+    cdata (@show sh v)
 
 fun foldTR (tf :: Type -> Type) (tr :: {Type} -> Type)
            (f : nm :: Name -> t :: Type -> rest :: {Type}