diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog
index 84a0e78af1c..c1d48086be9 100644
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -1,5 +1,8 @@
 2005-02-18  Tom Tromey  <tromey@redhat.com>
 
+	PR java/20056:
+	* verify-impl.c (types_equal): Fixed test.
+
 	PR java/20056:
 	* verify-glue.c (vfy_class_has_field): New function.
 	* verify.h (vfy_class_has_field): Declare.
diff --git a/gcc/java/verify-impl.c b/gcc/java/verify-impl.c
index 376f7494860..bd681d2bce0 100644
--- a/gcc/java/verify-impl.c
+++ b/gcc/java/verify-impl.c
@@ -743,8 +743,9 @@ types_compatible (type *t, type *k)
 static bool
 types_equal (type *t1, type *t2)
 {
-  if (t1->key != reference_type || t1->key != uninitialized_reference_type
-      || t2->key != reference_type || t2->key != uninitialized_reference_type)
+  if ((t1->key != reference_type && t1->key != uninitialized_reference_type)
+      || (t2->key != reference_type
+	  && t2->key != uninitialized_reference_type))
     return false;
   /* Only single-ref types are allowed.  */
   if (t1->klass->ref_next || t2->klass->ref_next)