Work on projects.

[pintos-anon] / doc / vm.texi

diff --git a/doc/vm.texi b/doc/vm.texi
index 812915ee5db2fc927a36eb85da5e2b66c03c787f..84b07524d98791fb86cf6b44f3864e6a7969e413 100644 (file)
--- 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