Fixes rendering of (hole t ...+)

There was some old named holes code still in use.

collects/redex/private/core-layout.rkt

@@ -90,10 +90,6 @@
                      (list (blank)
                            (list-ref args 2)
                            (blank))))
-       (hole ,(λ (args)
-                (let ([name (lw-e (list-ref args 2))])
-                  (list (basic-text "[]" (default-style)) 
-                        (basic-text (format "~a" name) (non-terminal-subscript-style))))))
        (name ,(λ (args)
                 (let ([open-paren (list-ref args 0)]
                       [the-name (list-ref args 2)]

collects/redex/tests/bitmap-test.rkt

@@ -236,5 +236,12 @@
              (side-condition/hidden (= 1 2)))))
       "rr-hidden.png")
 
+;; holes
+(let ()
+  (define-language L
+    (n (hole x) ; a "named hole" at one time
+       hole))
+  (test (render-language L) "holes.png"))
+
 (printf "bitmap-test.ss: ")
 (done)