-needing yet another API to box stdin for scheduler reading, not ported to W32 yet

diff --git a/src/include/gnunet_disk_lib.h b/src/include/gnunet_disk_lib.h
index fdd9e8d774d368715b1b3db5a27b00ceb53cf55b..d364568b648dc8184cee02e57001edf2ec304737 100644 (file)
--- a/src/include/gnunet_disk_lib.h
+++ b/src/include/gnunet_disk_lib.h
@@ -474,11 +474,10 @@ GNUNET_DISK_pipe_handle (const struct GNUNET_DISK_PipeHandle *p,
  * @param fd native file descriptor
  * @return file handle corresponding to the descriptor
  */
-const struct GNUNET_DISK_FileHandle *
+struct GNUNET_DISK_FileHandle *
 GNUNET_DISK_get_handle_from_native (FILE *fd);
 
 
-
 /**
  * Read the contents of a binary file into a buffer.
  * @param h handle to an open file