X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;h=961888f297be48973b9af5d56ff28af3fcef23f1;hb=c0cd5f5c14152621ad5226d90d5ab1a2f48d5d9e;hp=12ca40ee3641017fffd269c40a10c25a3a8625c8;hpb=9fd80c814b9b3f95c16a90a680250c3fd6e5b74e;p=pintos-anon

diff --git a/doc/debug.texi b/doc/debug.texi
index 12ca40e..961888f 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -198,7 +198,7 @@ tree used for this example, line 405 of @file{filesys/file.c} is the
 assertion
 
 @example
-ASSERT (file_ofs >= )0;
+ASSERT (file_ofs >= 0);
 @end example
 
 @noindent