From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 7 Jul 2019 02:12:01 +0000 (-0700)
Subject: system-file-format.texi: Correct typo.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0c12adbe4293ec0b2cca604cbbdeada09e81c61e;hp=0d00acf4e35c841fc266ae62745d331512a6a63e;p=pspp

system-file-format.texi: Correct typo.

Bug #56547.
---

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index 500d74f665..58bb37c155 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -1641,7 +1641,7 @@ The number of bytes in the ZLIB data trailer.  This and the previous
 field sum to the size of the system file in bytes.
 @end table
 
-The data header is followed by @code{(ztrailer_ofs - 24) / 24} ZLIB
+The data header is followed by @code{(ztrailer_len - 24) / 24} ZLIB
 compressed data blocks.  Each ZLIB compressed data block begins with a
 ZLIB header as specified in RFC@tie{}1950, e.g.@: hex bytes @code{78
 01} (the only header yet observed in practice).  Each block
@@ -1678,7 +1678,7 @@ been observed so far.
 
 @item int32 n_blocks;
 The number of ZLIB compressed data blocks, always exactly
-@code{(ztrailer_ofs - 24) / 24}.
+@code{(ztrailer_len - 24) / 24}.
 @end table
 
 The fixed header is followed by @code{n_blocks} 24-byte ZLIB data