diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b6ae43aa336..803ae88d3bd 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1641,7 +1641,7 @@
 	* config/microblaze/microblaze.c (microblaze_asm_trampoline_template):
 	Replace with a microblaze version.
 	(microblaze_trampoline_init): Adapt for microblaze.
-	* gcc/config/microblaze/microblaze.h (TRAMPOLINE_SIZE): Adapt for
+	* config/microblaze/microblaze.h (TRAMPOLINE_SIZE): Adapt for
 	microblaze.
 
 2013-02-16  Jakub Jelinek  <jakub@redhat.com>