diff --git a/compiler/generic/vm-type.lisp b/compiler/generic/vm-type.lisp
index 17ee83a707bd707981dda3bdcbb14e2cf7acc9b8..239497d375e6cee0fffe878f701b44372900b9c0 100644
--- a/compiler/generic/vm-type.lisp
+++ b/compiler/generic/vm-type.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman (FAHLMAN@CMUC). 
 ;;; **********************************************************************
 ;;;
-;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-type.lisp,v 1.15 1990/06/16 15:35:59 wlott Exp $
+;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-type.lisp,v 1.16 1990/08/25 18:46:40 wlott Exp $
 ;;;
 ;;;    This file contains implementation-dependent parts of the type support
 ;;; code.  This is stuff which deals with the mapping from types defined in
@@ -186,5 +186,7 @@
      (if (type= type (specifier-type '(or function symbol)))
 	 'c::check-function-or-symbol
 	 nil))
+    (function-type
+     'c::check-function)
     (t
      nil)))