X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fsc-boundary.c;h=d889535cf279f9af2d5688fd0ef21a5c1caf0719;hp=fd147bd40ccd437f605a208140a140cb8f8ce6ba;hb=1c765c09e567d3da51d5249932daa71f8a74ff9d;hpb=49c19e58aa14fba779bfe331b1ebaba62d31dfa5

diff --git a/src/tests/userprog/sc-boundary.c b/src/tests/userprog/sc-boundary.c
index fd147bd..d889535 100644
--- a/src/tests/userprog/sc-boundary.c
+++ b/src/tests/userprog/sc-boundary.c
@@ -17,6 +17,6 @@ test_main (void)
   p[1] = 42;
 
   /* Invoke the system call. */
-  asm volatile ("movl %0, %%esp; int $0x30" :: "g" (p));
+  asm volatile ("movl %0, %%esp; int $0x30" : : "g" (p));
   fail ("should have called exit(42)");
 }