
FILE=make_heap
CMD=\\makeheap
SEC=sec:make_heap

include ../../Makefile.template

#WP_FLAGS += -wp-prop max
#WP_FLAGS += -wp-prop @lemma

TESTOBJ += -lheap

