X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fsystem-file-format.texi;h=4f5aa7edbeb749f39ba0f4b4af000f61a307afdc;hb=339f1956cc727eda788638644ef93ab7852b31cd;hp=a5a89f4ded01672a57c53791d4f81d51ca3bd24f;hpb=ff7ae14592cbdbebc4e4322424db95663ea7e166;p=pspp

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index a5a89f4ded..4f5aa7edbe 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -558,7 +558,7 @@ The value label record has the following format:
 int32               rec_type;
 int32               label_count;
 
-/* @r{Repeated @code{label_cnt} times}. */
+/* @r{Repeated @code{n_label} times}. */
 char                value[8];
 char                label_len;
 char                label[];