diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 4501efb047ba..748dd78185a9 100644
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -9692,7 +9692,7 @@ ix86_expand_prologue (void)
     }
   else
     {
-      rtx eax = gen_rtx_REG (Pmode, AX_REG);;
+      rtx eax = gen_rtx_REG (Pmode, AX_REG);
       rtx r10 = NULL;
       bool eax_live = false;
       bool r10_live = false;