
FILE=binary_search
CMD=\\binarysearch
SEC=sec:binarysearch

include ../../Makefile.template

#WP_FLAGS += -wp-prop @lemma

TESTOBJ += -lbinarysearch

