1 files changed, 2 insertions, 2 deletions
diff --git a/user/usertests.c b/user/usertests.c
index db9f680..eb10ee2 100644
--- a/user/usertests.c
+++ b/user/usertests.c
@@ -2105,9 +2105,9 @@ run(void f(char *), char *s) {
   } else {
     wait(&xstatus);
     if(xstatus != 0) 
-      printf("FAILED\n", s);
+      printf("FAILED\n");
     else
-      printf("OK\n", s);
+      printf("OK\n");
     return xstatus == 0;
   }
 }