From 3ced678ccb6e8c7ceacc96bfc0281470b81c189d Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 14 Jun 2012 08:55:09 +0000
Subject: [PATCH] -needing yet another API to box stdin for scheduler reading,
 not ported to W32 yet

---
 src/include/gnunet_disk_lib.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/include/gnunet_disk_lib.h b/src/include/gnunet_disk_lib.h
index fdd9e8d77..d364568b6 100644
--- 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
-- 
2.25.1