diff --git a/collects/drracket/private/follow-log.rkt b/collects/drracket/private/follow-log.rkt index f834e98e..bc3f52ef 100644 --- a/collects/drracket/private/follow-log.rkt +++ b/collects/drracket/private/follow-log.rkt @@ -1,5 +1,10 @@ -#lang racket -(require racket/gui/base +#lang racket/base + +(require racket/list + racket/class + racket/match + racket/pretty + racket/gui/base framework/private/logging-timer) #|