From 44cfbdda96ccde91ea1766c62f2aa4726c8decd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Tue, 16 Mar 2021 12:12:28 +0100
Subject: comment and include

---
 src/filesys/filesys.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/filesys')

diff --git a/src/filesys/filesys.c b/src/filesys/filesys.c
index 789bcf2..d30f728 100644
--- a/src/filesys/filesys.c
+++ b/src/filesys/filesys.c
@@ -7,7 +7,10 @@
 #include "filesys/inode.h"
 #include "filesys/directory.h"
 #include "devices/disk.h"
+#include "threads/synch.h"
 
+/* Locks filesys_create so the same file isn't
+   created twice with the same name. */
 static struct lock create_lock;
 
 /* The disk that contains the file system. */
-- 
cgit v1.2.1