X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fcasereader.c;h=97b7ceff3d1b7eb19e8ac6243aef08eb961a0f6b;hb=302bd0da45b8920bf4a34d8751d9cbceacd5b6ea;hp=57afff844d251acc9bbffbb40f1b9eb9c7232986;hpb=4f535d301fd8181ae3fbfeb023f4e016a91064d9;p=pspp-builds.git

diff --git a/src/data/casereader.c b/src/data/casereader.c
index 57afff84..97b7ceff 100644
--- a/src/data/casereader.c
+++ b/src/data/casereader.c
@@ -258,7 +258,8 @@ casereader_get_case_cnt (struct casereader *reader)
 }
 
 static casenumber
-casereader_count_cases__ (struct casereader *reader, casenumber max_cases)
+casereader_count_cases__ (const struct casereader *reader,
+                          casenumber max_cases)
 {
   struct casereader *clone;
   casenumber n_cases;
@@ -280,10 +281,13 @@ casereader_count_cases__ (struct casereader *reader, casenumber max_cases)
    of the contents of a clone of READER.  Thus, the return value
    is always correct in the absence of I/O errors. */
 casenumber
-casereader_count_cases (struct casereader *reader)
+casereader_count_cases (const struct casereader *reader)
 {
   if (reader->case_cnt == CASENUMBER_MAX)
-    reader->case_cnt = casereader_count_cases__ (reader, CASENUMBER_MAX);
+    {
+      struct casereader *reader_rw = CONST_CAST (struct casereader *, reader);
+      reader_rw->case_cnt = casereader_count_cases__ (reader, CASENUMBER_MAX);
+    }
   return reader->case_cnt;
 }