diff --git a/collects/stepper/private/lazy-highlighting.rkt b/collects/stepper/private/lazy-highlighting.rkt
deleted file mode 100644
index b68e2f38ae..0000000000
--- a/collects/stepper/private/lazy-highlighting.rkt
+++ /dev/null
@@ -1,67 +0,0 @@
-#lang scheme/base
-
-(provide (rename-out [table highlight-table]))
-
-; number of steps to skip, where the step to skip has ellipses on lhs
-; # of skips depends on # of hidden !'s in fn def in lazy/lazy.rkt
-(define 
-  table 
-  (make-immutable-hasheq
-   '((take   . 0) 
-     (caar   . 1) 
-     (cadr   . 0)
-     (cdar   . 1)
-     (cddr   . 0)
-     (caaar  . 2)
-     (caadr  . 1)
-     (cadar  . 1)
-     (caddr  . 0)
-     (cdaar  . 2)
-     (cdadr  . 1)
-     (cddar  . 1)
-     (cdddr  . 0)
-     (caaaar . 3)
-     (caaadr . 2)
-     (caadar . 2)
-     (caaddr . 1)
-     (cadaar . 2)
-     (cadadr . 1)
-     (caddar . 1)
-     (cadddr . 0)
-     (cdaaar . 3)
-     (cdaadr . 2)
-     (cdadar . 2)
-     (cdaddr . 1)
-     (cddaar . 2)
-     (cddadr . 1)
-     (cdddar . 1)
-     (cddddr . 0)
-     (first  . 0)
-     (second . 0)
-     (third  . 0)
-     (fourth . 0)
-     (fifth  . 0)
-     (sixth  . 0)
-     (seventh . 0)
-     (eighth  . 0)
-     (eq?    . 0)
-     (eqv?   . 0)
-     (equal? . 0)
-     (list?  . 0)
-     (length . 0)
-     (list-ref  . 0)
-     (list-tail . 0)
-     (append    . 0)
-     (reverse   . 0)
-     (empty?    . 0)
-     (assoc . 0)
-     (assq  . 0)
-     (assv  . 0)
-     (cons? . 0)
-     (remove . 0)
-     (remq   . 0)
-     (remv   . 0)
-     (member . 0)
-     (memq   . 0)
-     (memv   . 0)
-     )))