--- hol88-2.02.19940316.orig/lisp/f-format.l
+++ hol88-2.02.19940316/lisp/f-format.l
@@ -131,8 +131,8 @@
 (defun flush-output-buffer nil
    ;; Some data types (e.g. streams) cannot be catenated in franz, so
    ;; print out items in buffer separately. 
-   #+franz (mapc #'llprinc (nreverse %output-buffer))
-   #-franz (llprinc (apply #'catenate (nreverse %output-buffer)))
+   #+(or franz gcl) (mapc #'llprinc (nreverse %output-buffer))
+   #-(or franz gcl) (llprinc (apply #'catenate (nreverse %output-buffer)))
    (setq %output-buffer nil))