
FILE=axiom_pop_of_push
CMD=\\axiompopofpush
SEC=sec:axiompopofpush

include ../../Makefile.template

TESTOBJ += -lstack

