X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdata-file-format.texi;h=bd70af92ac2c68e76c0369edd387532d8a1c858f;hb=5d9d2b2ae7d49240f3438e4f3c40ac1f276e31fb;hp=79f6bb3a1f7c8d6c85dd6ae829f3ccb11aa6c427;hpb=6f74029d4dded39ec22045f318182cb75d11375a;p=pspp

diff --git a/doc/data-file-format.texi b/doc/data-file-format.texi
index 79f6bb3a1f..bd70af92ac 100644
--- a/doc/data-file-format.texi
+++ b/doc/data-file-format.texi
@@ -505,7 +505,7 @@ Record type.  Always set to 7.
 Record subtype.  Always set to 4.
 
 @item int32 size;
-Size of each piece of data in the data part, in bytes.  Always set to 4.
+Size of each piece of data in the data part, in bytes.  Always set to 8.
 
 @item int32 count;
 Number of pieces of data in the data part.  Always set to 3.