fix metafunction contract rendering

Author: rfindler

redex-pict-lib/redex/private/pict.rkt

@@ -1487,7 +1487,7 @@
   (define name-pict
     (cond
       [(or (symbol? name-rewritten) (string? name-rewritten))
-       ((current-text) (format "~a" name) (metafunction-style) (metafunction-font-size))]
+       ((current-text) (format "~a" name-rewritten) (metafunction-style) (metafunction-font-size))]
       [else name-rewritten]))
   ((adjust 'metafunction-contract)
    (hbl-append name-pict