diff --git a/src/cmp/cmpprop.lsp b/src/cmp/cmpprop.lsp
index f2a6f8a16..17bf4ea44 100644
--- a/src/cmp/cmpprop.lsp
+++ b/src/cmp/cmpprop.lsp
@@ -263,9 +263,10 @@ of the occurrences in those lists."
       (p1propagate values assumptions))
     (p1propagate body assumptions)))
 
-(defun p1setq (c1form assumptions var c1form)
+(defun p1setq (c1form assumptions var value-c1form)
+  (declare (ignore c1form))
   (multiple-value-bind (value-type assumptions)
-      (p1propagate c1form assumptions)
+      (p1propagate value-c1form assumptions)
     (values (type-and (var-type var) (values-type-primary-type value-type))
             assumptions)))
 
diff --git a/src/new-cmp/cmpprop.lsp b/src/new-cmp/cmpprop.lsp
index c71fe88f4..ac1c05d45 100644
--- a/src/new-cmp/cmpprop.lsp
+++ b/src/new-cmp/cmpprop.lsp
@@ -293,9 +293,10 @@ of the occurrences in those lists."
 (defun p1with-stack (c1form assumptions body-form)
   (p1propagate body-form assumptions))
 
-(defun p1setq (c1form assumptions var c1form)
+(defun p1setq (c1form assumptions var value-c1form)
+  (declare (ignore c1form))
   (multiple-value-bind (value-type assumptions)
-      (p1propagate c1form assumptions)
+      (p1propagate value-c1form assumptions)
     (let ((type (type-and (var-type var) (values-type-primary-type value-type))))
       (values type (p1expand-assumptions var type assumptions)))))