X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffile-handle.q;h=77291a45e42836595c071150a754ab3691a0fa2d;hb=14e7292894533c5491a774a2d749386362660812;hp=c4878bbb928b7b6447daaf95b7e474b6682b2b39;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp

diff --git a/src/file-handle.q b/src/file-handle.q
index c4878bbb92..77291a45e4 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;