From 3fc964faaf7f19dae4181322eab5a96c9a23a928 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 27 Apr 2018 09:32:54 -0400 Subject: [PATCH] Fix name of the `racket/private/top-int.rkt` module. --- racket/collects/racket/private/top-int.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/racket/collects/racket/private/top-int.rkt b/racket/collects/racket/private/top-int.rkt index 9ff170f5be..e9e407edcb 100644 --- a/racket/collects/racket/private/top-int.rkt +++ b/racket/collects/racket/private/top-int.rkt @@ -1,4 +1,4 @@ -(module pre-base '#%kernel +(module top-int '#%kernel (#%require (for-syntax '#%kernel)) (#%provide #%top-interaction)