Fix problems compiling documentation

[pintos-anon] / src / lib / kernel / hash.c

diff --git a/src/lib/kernel/hash.c b/src/lib/kernel/hash.c
index 55e01c45c15847e85736b61770f60411d31e419e..57eed450c91cc5dbae214445d16b72f52d7a7c3c 100644 (file)
--- a/src/lib/kernel/hash.c
+++ b/src/lib/kernel/hash.c
@@ -1,3 +1,10 @@
+/* Hash table.
+
+   This data structure is thoroughly documented in the Tour of
+   Pintos for Project 3.
+
+   See hash.h for basic information. */
+
 #include "hash.h"
 #include "../debug.h"
 #include "threads/malloc.h"