Index: ats2-lang-0.4.2/prelude/CATS/array.cats
===================================================================
--- ats2-lang-0.4.2.orig/prelude/CATS/array.cats
+++ ats2-lang-0.4.2/prelude/CATS/array.cats
@@ -56,14 +56,6 @@ void qsort
   void *base, size_t nmemb, size_t size
 , int(*compar)(const void *, const void *)
 ) ; // end of [qsort]
-extern
-void *bsearch
-(
-  const void *key
-, const void *base
-, size_t nmemb, size_t size
-, int (*compar)(const void *, const void *)
-) ; // end of [bsearch]
 //
 #define atspre_array_qsort qsort
 #define atspre_array_bsearch bsearch
