diff --git a/racket/collects/syntax/parse/private/txlift.rkt b/racket/collects/syntax/parse/private/txlift.rkt
index 7195f69884..57c54974e7 100644
--- a/racket/collects/syntax/parse/private/txlift.rkt
+++ b/racket/collects/syntax/parse/private/txlift.rkt
@@ -1,14 +1,13 @@
 #lang racket/base
 (require (for-template racket/base))
 (provide txlift
-         get-txlifts
          get-txlifts-as-definitions
-         call/txlifts
          with-txlifts
-         with-txlifts/defs)
+         call/txlifts)
 
 ;; Like lifting definitions, but within a single transformer.
 
+;; current-liftbox : Parameter of [#f or (Listof (list Id Stx))]
 (define current-liftbox (make-parameter #f))
 
 (define (call/txlifts proc)
@@ -44,10 +43,3 @@
      (let ([v (proc)])
        (with-syntax ([((var rhs) ...) (get-txlifts)])
          #`(let* ([var rhs] ...) #,v))))))
-
-(define (with-txlifts/defs proc)
-  (call/txlifts
-   (lambda ()
-     (let ([v (proc)])
-       (with-syntax ([(def ...) (get-txlifts-as-definitions)])
-         #`(begin def ... #,v))))))