From: Ben Pfaff <blp@cs.stanford.edu>
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=0455cb2248e1def814eb3e0a6b7e4893ed112c6f;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