Index: /issm/trunk-jpl/src/c/shared/Sorting/binary_search.cpp
===================================================================
--- /issm/trunk-jpl/src/c/shared/Sorting/binary_search.cpp	(revision 14794)
+++ /issm/trunk-jpl/src/c/shared/Sorting/binary_search.cpp	(revision 14795)
@@ -9,4 +9,5 @@
 #endif
 
+#include "../../include/macros.h"
 #include <stdio.h>
 
@@ -21,4 +22,6 @@
 	int *end = NULL;
 	int *mid = NULL;
+
+	_assert_(sorted_integers);
 
 	// point to beginning and end of the array