fix redundant mention of the header

This commit is contained in:
Rob Speer 2015-06-23 12:53:57 -04:00
parent 7862a4d2b6
commit d81070a13c

View File

@ -62,7 +62,7 @@ def read_cBpack(filename):
- The file on disk is a gzipped file in msgpack format, which decodes to a - The file on disk is a gzipped file in msgpack format, which decodes to a
list whose first element is a header, and whose remaining elements are list whose first element is a header, and whose remaining elements are
lists of words, preceded by a header. lists of words.
- The header is a dictionary with 'format' and 'version' keys that make - The header is a dictionary with 'format' and 'version' keys that make
sure that we're reading the right thing. sure that we're reading the right thing.