From: Ben Pfaff Date: Thu, 6 Jan 2005 08:01:49 +0000 (+0000) Subject: Fix typo. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c0cd5f5c14152621ad5226d90d5ab1a2f48d5d9e;p=pintos-anon Fix typo. --- 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