Index: /trunk/ccl/lib/pprint.lisp
===================================================================
--- /trunk/ccl/lib/pprint.lisp	(revision 271)
+++ /trunk/ccl/lib/pprint.lisp	(revision 272)
@@ -2137,5 +2137,5 @@
               (if (output-stream-p s)
                 s
-                (require-type s '(satisfies (output-stream-p))))))
+                (require-type s '(satisfies output-stream-p)))))
                 
     (let ((*format-control-string* control-string)