X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fcasereader.h;h=6d719c6128da45b9fbd8f6635741132053311816;hb=123d16d68da74c02aca66ba3896e5ec2d33efbc0;hp=d4a1cce5188a7a467569cbceb95ec9f30a1db402;hpb=0553d00dca10c2d2beeffd88fd12120e43a01025;p=pspp

diff --git a/src/data/casereader.h b/src/data/casereader.h
index d4a1cce518..6d719c6128 100644
--- a/src/data/casereader.h
+++ b/src/data/casereader.h
@@ -70,6 +70,7 @@ void casereader_swap (struct casereader *, struct casereader *);
 
 bool casereader_peek (struct casereader *, casenumber, struct ccase *)
      WARN_UNUSED_RESULT;
+bool casereader_is_empty (struct casereader *);
 
 bool casereader_error (const struct casereader *);
 void casereader_force_error (struct casereader *);