X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffile-handle.h;h=c7b455053592a7fde5efcb8a39a2225799528add;hb=f9d47b5bba8416419cf3bcd3aa23c2d40a05fcac;hp=b086d7870340fd7c57e6d3364f8760138f5addf7;hpb=6ad392174e035d6e0823fd7894a0488acf274b97;p=pspp-builds.git

diff --git a/src/file-handle.h b/src/file-handle.h
index b086d787..c7b45505 100644
--- a/src/file-handle.h
+++ b/src/file-handle.h
@@ -92,7 +92,7 @@ struct file_handle *fh_parse_file_handle (void);
 void fh_close_handle (struct file_handle *handle);
 
 /* Handle info. */
-const char *fh_handle_name (struct file_handle *handle);
+const char *fh_handle_name (const struct file_handle *handle);
 char *fh_handle_filename (struct file_handle *handle);
 size_t fh_record_width (struct file_handle *handle);