diff --git a/collects/drscheme/private/rep.ss b/collects/drscheme/private/rep.ss index 59807194c4..ac391e1251 100644 --- a/collects/drscheme/private/rep.ss +++ b/collects/drscheme/private/rep.ss @@ -1106,9 +1106,9 @@ TODO (set! in-evaluation? #f) (update-running #f) (cleanup) - (flush-output (get-value-port)) (when complete-program? (send lang front-end/finished-complete-program settings)) + (flush-output (get-value-port)) (queue-system-callback/sync (get-user-thread) (λ () ; =Kernel=, =Handler=