From c383612a7d61e708bce84318f2b0b0f3d7a7ebac Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Mon, 30 Jan 2017 20:07:42 -0500
Subject: [PATCH] Thanks to Wolfgang Keller <nubok@users.noreply.github.com>

---
 defs.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/defs.h b/defs.h
index 8f01b1f..300c75c 100644
--- a/defs.h
+++ b/defs.h
@@ -131,7 +131,7 @@ void            popcli(void);
 
 // sleeplock.c
 void            acquiresleep(struct sleeplock*);
-void             releasesleep(struct sleeplock*);
+void            releasesleep(struct sleeplock*);
 int             holdingsleep(struct sleeplock*);
 void            initsleeplock(struct sleeplock*, char*);