diff --git a/libjava/testsuite/ChangeLog b/libjava/testsuite/ChangeLog
index 90e98a922e6..e5d367e32f4 100644
--- a/libjava/testsuite/ChangeLog
+++ b/libjava/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2003-01-03  Tom Tromey  <tromey@redhat.com>
+
+	* libjava.compile/pr8712.java: New file, for PR java/8712.
+
 2003-01-01  Tom Tromey  <tromey@redhat.com>
 
 	* libjava.compile/pr8955.java: New test, for PR java/8955.
diff --git a/libjava/testsuite/libjava.compile/pr8712.java b/libjava/testsuite/libjava.compile/pr8712.java
new file mode 100644
index 00000000000..7a6eb754d90
--- /dev/null
+++ b/libjava/testsuite/libjava.compile/pr8712.java
@@ -0,0 +1,7 @@
+public class pr8712
+{
+  boolean x(pr8712 a)
+  {
+    return (!(a instanceof pr8712));
+  }
+}