X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fsys-file-reader.h;h=011d541954841afebac874bc9820bfc4d3766529;hb=8ebdf8a26f4ed036c9621810e0561278090d921e;hp=037d33a394ce2a8397337aa87373672ba2d31223;hpb=41f83a8f1c88489e4fc458fb7661430ff91d8a61;p=pspp

diff --git a/src/data/sys-file-reader.h b/src/data/sys-file-reader.h
index 037d33a394..011d541954 100644
--- a/src/data/sys-file-reader.h
+++ b/src/data/sys-file-reader.h
@@ -21,6 +21,7 @@
 #include <stdio.h>
 
 #include "data/case.h"
+#include "data/sys-file.h"
 #include "libpspp/float-format.h"
 #include "libpspp/integer-format.h"
 
@@ -36,7 +37,7 @@ struct sfm_read_info
     char *creation_time;	/* "hh:mm:ss". */
     enum integer_format integer_format;
     enum float_format float_format;
-    bool compressed;		/* 0=no, 1=yes. */
+    enum sfm_compression compression;
     casenumber case_cnt;        /* -1 if unknown. */
     char *product;		/* Product name. */
     char *product_ext;          /* Extra product info. */