X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc.texi;fp=doc%2Fdoc.texi;h=2fec1b47d43aeec9a21cdcc3e39809587ccc1322;hb=bd5dc58a3416a998a24c26604f8ac76db8344610;hp=a2b8b7a91f0d44dc87bd610ab30c1104b3d2b83e;hpb=611bee1ebeae7fcc3dcee305cbe3ecbb915916f0;p=pintos-anon

diff --git a/doc/doc.texi b/doc/doc.texi
index a2b8b7a..2fec1b4 100644
--- a/doc/doc.texi
+++ b/doc/doc.texi
@@ -118,11 +118,11 @@ Think about what the compiler might do to your code.  Suppose you write
 the following to test your virtual memory implementation's ability to
 expand the stack:
 @example
-int main (void) {
+int main (void) @{
   int array[4096];
   array[123] = 234;
   return 0;
-}
+@}
 @end example
 @noindent The compiler is quite likely to notice that the value that you
 write to the array is never used again and thereby decide not to write