X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Flate-type.lisp;h=e6be6208409d1795749bb8e18690094e66286e6a;hb=34e8e7fd14989e1c86e9408733b4a73c46dd0a92;hp=ff52c6767864690677c349fb9652a1bf01c6580c;hpb=ab6263cd50869be699c7afea271d626f83a5a27d;p=sbcl.git

diff --git a/src/code/late-type.lisp b/src/code/late-type.lisp
index ff52c67..e6be620 100644
--- a/src/code/late-type.lisp
+++ b/src/code/late-type.lisp
@@ -836,7 +836,7 @@
 (defun accumulate1-compound-type (type types %compound-type-p simplify2)
   (declare (type ctype type))
   (declare (type (vector ctype) types))
-  (declare (type function simplify2))
+  (declare (type function %compound-type-p simplify2))
   ;; Any input object satisfying %COMPOUND-TYPE-P should've been
   ;; broken into components before it reached us.
   (aver (not (funcall %compound-type-p type)))