From d9160fb4b98e3ce04d3928c1fbd2ec26b3cc746a Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Sun, 27 Oct 2019 08:03:19 -0400
Subject: nits

---
 user/usertests.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'user')

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;
   }
 }
-- 
cgit v1.2.3