include ../../header.mk

TEST       =Djinn
TITLE      =theorem prover
TEST_ARGS  =Djinn.input

HUGS_EXTRA_OPTS=-98

include ../../footer.mk