X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc.texi;h=2fec1b47d43aeec9a21cdcc3e39809587ccc1322;hb=f219f19691ebde08e2481f663afb78bd274e38dc;hp=a2b8b7a91f0d44dc87bd610ab30c1104b3d2b83e;hpb=38ed1a70398c30acf376a3e6f5f79e58f009a17c;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