diff --git a/src/cmp/cmpprop.lsp b/src/cmp/cmpprop.lsp
index 6c81f2987..73d76b4ef 100644
--- a/src/cmp/cmpprop.lsp
+++ b/src/cmp/cmpprop.lsp
@@ -25,7 +25,7 @@
   (p1propagate form assumptions))
 
 (defun p1fset (c1form assumptions fun fname macro pprint c1forms)
-  (p1propagate (fun-lambda fun) assumptions))
+  (values 'function assumptions))
 
 (defun p1propagate (form assumptions)
   (unless form