diff --git a/ansi-tests/catch.lsp b/ansi-tests/catch.lsp
index 8c5ca53595dd3811afb764452629fdbe27da529a..be735b4c450b38db0eee0c35b8e1abb405b2974b 100644
--- a/ansi-tests/catch.lsp
+++ b/ansi-tests/catch.lsp
@@ -24,15 +24,20 @@
   (catch 'foo 'a (throw 'foo 'b) 'c)
   b)
 
-(deftest catch.6
-  (let ((tag1 (1+ most-positive-fixnum))
-	(tag2 (1+ most-positive-fixnum)))
-    (if (eqt tag1 tag2)
-	'good
-      (catch tag1
-	(catch tag2 (throw tag1 'good))
-	'bad)))
-  good)
+;;
+;; The test below is wrong:
+;;   Numbers can't be assumed to be EQ at
+;;   any time by conforming programs.
+;;
+;; (deftest catch.6
+;;   (let ((tag1 (1+ most-positive-fixnum))
+;; 	(tag2 (1+ most-positive-fixnum)))
+;;     (if (eqt tag1 tag2)
+;; 	'good
+;;       (catch tag1
+;; 	(catch tag2 (throw tag1 'good))
+;; 	'bad)))
+;;   good)
 
 (deftest catch.7
   (catch 'foo 'a (throw 'foo (values)) 'c))