From 13e2de5cae5c921a43f733508f6c116319587eb6 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Tue, 26 Jan 2010 01:01:27 +1300 Subject: [PATCH] help.lint: flush --- basis/help/lint/lint.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/help/lint/lint.factor b/basis/help/lint/lint.factor index e0cea42b4f..47b8820f18 100644 --- a/basis/help/lint/lint.factor +++ b/basis/help/lint/lint.factor @@ -69,7 +69,7 @@ PRIVATE> '[ _ vocab-help [ article drop ] when* ] check-something ; : check-vocab ( vocab -- ) - "Checking " write dup write "..." print + "Checking " write dup write "..." print flush [ check-about ] [ words [ check-word ] each ] [ vocab-articles get at [ check-article ] each ]