diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 88301459186..281cd853bae 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2003-08-23  Roger Sayle  <roger@eyesopen.com>
+
+	* combine.c (apply_distributive_law): Correct comment.
+
 2003-08-23  Jason Eckhardt  <jle@rice.edu>
 
 	* config/i860/i860.h: Remove comment mentioning LIBGCC_NEEDS_DOUBLE.
diff --git a/gcc/combine.c b/gcc/combine.c
index b9413f69835..821acb22884 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -7955,7 +7955,7 @@ apply_distributive_law (rtx x)
   tem = gen_binary (code, GET_MODE (x), lhs, rhs);
 
   /* There is one exception to the general way of distributing:
-     (a ^ b) | (a ^ c) -> (~a) & (b ^ c)  */
+     (a | c) ^ (b | c) -> (a ^ b) & ~c  */
   if (code == XOR && inner_code == IOR)
     {
       inner_code = AND;