From f4b596e24b073077bddaf5de936cde0a04875c0a Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Sun, 13 Oct 2002 01:40:22 +0000
Subject: [PATCH] Added a test on which CMU CL is failing.

---
 ansi-tests/progv.lsp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/ansi-tests/progv.lsp b/ansi-tests/progv.lsp
index fff7ce43..5b863f0c 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))
-- 
GitLab