diff --git a/gnu/dist/gdb6/gdb/i386-tdep.c b/gnu/dist/gdb6/gdb/i386-tdep.c
index 1a67849df09f..fec422488256 100644
--- a/gnu/dist/gdb6/gdb/i386-tdep.c
+++ b/gnu/dist/gdb6/gdb/i386-tdep.c
@@ -874,7 +874,7 @@ i386_skip_prologue (CORE_ADDR start_pc)
 
       /* addl y,%ebx */
       if (delta > 0 && op == 0x81
-	  && read_memory_unsigned_integer (pc + delta + 1, 1) == 0xc3);
+	  && read_memory_unsigned_integer (pc + delta + 1, 1) == 0xc3)
 	{
 	  pc += delta + 6;
 	}