fix redundant mention of the header

Former-commit-id: d81070a13c
This commit is contained in:
Rob Speer 2015-06-23 12:53:57 -04:00
parent b4600c9bd1
commit dd6919c2b0

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
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
sure that we're reading the right thing.