
FILE=axiom_push_of_pop_top
CMD=\\axiompushofpoptop
SEC=sec:axiompushofpoptop

include ../../Makefile.template

TESTOBJ += -lstack

