From 05a937a334d318a7e93ee55e2f47bfb4d8c63d65 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 18 Sep 2009 06:12:28 +0000 Subject: [PATCH] no need for this hack yet svn: r16062 --- collects/scribble/text/output.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/scribble/text/output.ss b/collects/scribble/text/output.ss index 5616eb3b8d..4c20ca1496 100644 --- a/collects/scribble/text/output.ss +++ b/collects/scribble/text/output.ss @@ -153,6 +153,7 @@ (set! write (or (car c) write-string)) (for-each loop (cdr c)) (set! write old))] + #; ; no need for this hack yet [(with-writer-change) ;; the function gets the old writer and return a new one ;; (useful to sabe the current writer then restore it inside) @@ -209,6 +210,7 @@ (define/provide-special (add-prefix pfx)) (define/provide-special (set-prefix pfx)) (define/provide-special (with-writer writer)) +#; ; no need for this hack yet (define/provide-special (with-writer-change writer)) (define make-spaces ; (efficiently)