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

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)");
 }