diff -r e1f3248576bc -r e1e3b768ae8b src/utils.c
--- a/src/utils.c	Mon May 14 18:19:16 2018 +0200
+++ b/src/utils.c	Mon May 14 18:20:56 2018 +0200
@@ -156,7 +156,7 @@
    }
 }
 
-int ucx_ptrcmp(const void *ptr1, const void *ptr2, void *data) {
+int ucx_cmp_ptr(const void *ptr1, const void *ptr2, void *data) {
     const intptr_t p1 = (const intptr_t) ptr1;
     const intptr_t p2 = (const intptr_t) ptr2;
     if (p1 == p2) {