1 files changed, 1 insertions, 1 deletions
diff --git a/defs.h b/defs.h
index 8231159..0a55759 100644
--- a/defs.h
+++ b/defs.h
@@ -131,7 +131,7 @@ void            release(struct spinlock*);
 void            pushcli(void);
 void            popcli(void);
 void            initsleeplock(struct sleeplock*);
-void            acquire_sleeplock(struct sleeplock*,struct spinlock*);
+void            acquire_sleeplock(struct sleeplock*, struct spinlock*);
 void            release_sleeplock(struct sleeplock*);
 int             acquired_sleeplock(struct sleeplock*);