Fixed a type declaration inconsistency.

diff --git a/kernel/proc.c b/kernel/proc.c
index 64272f6d6526dc4966f4fb618ae41d34e21ae3e9..ab66ef98b59a79018de1a83bd287bd854cf0453c 100644 (file)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -609,7 +609,7 @@ PUBLIC int mini_send(
  *                             mini_receive                                 * 
  *===========================================================================*/
 PRIVATE int mini_receive(struct proc * caller_ptr,
-                       int src_e, /* which message source is wanted */
+                       endpoint_t src_e, /* which message source is wanted */
                        message * m_buff_usr, /* pointer to message buffer */
                        const int flags)
 {