X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fpt-grow-pusha.c;h=f9762a512d1c5791bea793ad65f9d930e8f700c7;hp=b6b165fa185e9d29cb469df9517748d95d469821;hb=1c765c09e567d3da51d5249932daa71f8a74ff9d;hpb=49c19e58aa14fba779bfe331b1ebaba62d31dfa5

diff --git a/src/tests/vm/pt-grow-pusha.c b/src/tests/vm/pt-grow-pusha.c
index b6b165f..f9762a5 100644
--- a/src/tests/vm/pt-grow-pusha.c
+++ b/src/tests/vm/pt-grow-pusha.c
@@ -16,5 +16,5 @@ test_main (void)
      "andl $0xfffff000, %%esp;"  /* Move stack pointer to bottom of page. */
      "pushal;"                   /* Push 32 bytes on stack at once. */
      "movl %%eax, %%esp"         /* Restore copied stack pointer. */
-     ::: "eax");                 /* Tell GCC we destroyed eax. */
+     : : : "eax");               /* Tell GCC we destroyed eax. */
 }