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

diff --git a/src/tests/userprog/sc-bad-arg.c b/src/tests/userprog/sc-bad-arg.c
index aee48b0..0b512a0 100644
--- a/src/tests/userprog/sc-bad-arg.c
+++ b/src/tests/userprog/sc-bad-arg.c
@@ -12,6 +12,6 @@ void
 test_main (void) 
 {
   asm volatile ("movl $0xbffffffc, %%esp; movl %0, (%%esp); int $0x30"
-                :: "i" (SYS_EXIT));
+                : : "i" (SYS_EXIT));
   fail ("should have called exit(-1)");
 }