From a452dd86f62004b051a7967705d48ed167a397d6 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 15 Aug 2008 18:57:00 -0500 Subject: [PATCH] Better fix --- basis/io/ports/ports.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/io/ports/ports.factor b/basis/io/ports/ports.factor index 631f491b18..006e0e7881 100755 --- a/basis/io/ports/ports.factor +++ b/basis/io/ports/ports.factor @@ -135,9 +135,9 @@ M: output-port dispose* [ { [ handle>> &dispose drop ] + [ buffer>> &dispose drop ] [ port-flush ] [ handle>> shutdown ] - [ buffer>> dispose ] } cleave ] with-destructors ;