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

diff --git a/src/file-handle.q b/src/file-handle.q
index c4878bbb..77291a45 100644
--- a/src/file-handle.q
+++ b/src/file-handle.q
@@ -241,7 +241,7 @@ fh_get_handle_by_name (const char name[9])
 
    Useful for printing error messages about use of file handles.  */
 const char *
-fh_handle_name (struct file_handle *h)
+fh_handle_name (const struct file_handle *h)
 {
   static char *buf = NULL;