From f25e1bdd066cf5a06bd6a3f5ed1806007259b546 Mon Sep 17 00:00:00 2001
From: LRN <lrn1986@gmail.com>
Date: Thu, 14 Feb 2013 17:20:48 +0000
Subject: [PATCH] Oops

---
 src/util/os_priority.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/os_priority.c b/src/util/os_priority.c
index 2d5dba4a3..68b63908d 100644
--- a/src/util/os_priority.c
+++ b/src/util/os_priority.c
@@ -155,7 +155,7 @@ GNUNET_OS_install_parent_control_handler (void *cls,
 #if WINDOWS
   control_pipe = GNUNET_DISK_get_handle_from_w32_handle ((HANDLE) pipe_fd);
 #else
-  control_pipe = GNUNET_DISK_get_handle_from_crt_fd ((int) pipe_fd);
+  control_pipe = GNUNET_DISK_get_handle_from_int_fd ((int) pipe_fd);
 #endif
   if (NULL == control_pipe)
   {
-- 
2.25.1