X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=7652a8424b262481d64f36237cd29e24cf5d52a7;hb=275c68384d654e4c1f9ac4a3eadd2c3d4e46cf86;hp=36d92e32903480b79bd7adc5a991dc04bc24d780;hpb=5aa19f8c89021f712c6aa4ea275b2be8c980503c;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 36d92e3..7652a84 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -218,7 +218,7 @@ demonstrate the performance improvement.
 Note that write-behind makes your filesystem more fragile in the face
 of crashes.  Therefore, you should implement some manner to
 periodically write all cached blocks to disk.  If you have
-@code{timer_msleep()} from the first project working, this is an
+@code{timer_sleep()} from the first project working, this is an
 excellent application for it.
 
 Likewise, read-ahead is only really useful when done asynchronously.