X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Ffile-handle-def.h;h=df9a757835520df6cce509ee8019764c96c8faf1;hb=9cedbc3f32609f38e88f715ad9948e71c8cbb788;hp=2f944ed1c29803cb11e975ee9401d63b660b24cc;hpb=4d5df6bcfe9611ed7bed2585e1c2a4a48ece44fb;p=pspp

diff --git a/src/data/file-handle-def.h b/src/data/file-handle-def.h
index 2f944ed1c2..df9a757835 100644
--- a/src/data/file-handle-def.h
+++ b/src/data/file-handle-def.h
@@ -96,6 +96,8 @@ const char *fh_get_name (const struct file_handle *);
 enum fh_referent fh_get_referent (const struct file_handle *);
 const char *fh_get_encoding (const struct file_handle *);
 
+bool fh_equal (const struct file_handle *, const struct file_handle *);
+
 /* Properties of FH_REF_FILE file handles. */
 const char *fh_get_file_name (const struct file_handle *);
 const char *fh_get_file_name_encoding (const struct file_handle *handle);