diff --git a/ansi-tests/progv.lsp b/ansi-tests/progv.lsp
index fff7ce430738ff2f91240a2d4c2669d78bcc40e7..5b863f0ce576d46f1279488cd1cb2153bca4ef52 100644
--- a/ansi-tests/progv.lsp
+++ b/ansi-tests/progv.lsp
@@ -35,6 +35,13 @@
       (boundp 'x)))
   nil)
 
+(deftest progv.6a
+  (let ((x 0))
+    (declare (special x))
+    (progv '(x) () (setq x 1))
+    x)
+  0)
+
 (deftest progv.7
   (progv '(x y z) '(1 2 3)
     (locally (declare (special x y z))