From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 29 Jul 2017 23:16:30 +0000 (-0700)
Subject: sys-file-reader: Tolerate nominal case size of 0 without warning.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f518002b6673e3bcc030c903378d5d75f64697ea;hp=f518002b6673e3bcc030c903378d5d75f64697ea;p=pspp

sys-file-reader: Tolerate nominal case size of 0 without warning.

The software at https://github.com/WizardMac/ReadStat seems to always write
0, so there's not much value in warning.
---