X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=84b07524d98791fb86cf6b44f3864e6a7969e413;hb=28034190e6ffa80204e6ab29b2968d8c5ba178b9;hp=812915ee5db2fc927a36eb85da5e2b66c03c787f;hpb=a9211d5f5546b7b47087850e058ec97e92a85093;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index 812915e..84b0752 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -570,13 +570,13 @@ length, and then use Mmap:
 #include <syscall.h>
 
 int main (void)
-{
+@{
     void *addr = (void *) 0x10000000;
     int fd = open ("foo");
     int length = filesize (fd);
     if (mmap (fd, addr, length))
         printf ("success!\n");
-}
+@}
 @end example
 
 Suppose @file{foo} is a text file and you want to print the first 64