diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h
index 3e9241df4..67b8abb09 100644
--- a/src/misc/util/abc_global.h
+++ b/src/misc/util/abc_global.h
@@ -298,6 +298,9 @@ static inline void Abc_PrintMemoryP( int level, const char * pStr, int time, int
     ABC_PRMP( pStr, time, Time );
 }
 
+extern void   Abc_Sort( int * pInput, int nSize );
+extern int *  Abc_SortCost( int * pCosts, int nSize );
+
 
 ABC_NAMESPACE_HEADER_END
 
diff --git a/src/misc/util/module.make b/src/misc/util/module.make
index 776a1705d..287f22f7e 100644
--- a/src/misc/util/module.make
+++ b/src/misc/util/module.make
@@ -1,3 +1,4 @@
 SRC +=  src/misc/util/utilCex.c \
     src/misc/util/utilFile.c \
-    src/misc/util/utilSignal.c
+    src/misc/util/utilSignal.c \
+    src/misc/util/utilSort.c