include ../../Makefile-generic
ACL2 = ../../../saved_acl2

# Dependencies:

# From make -s dependencies:

floor-mod.cert: floor-mod.lisp
floor-mod.cert: ../bind-free/top.cert

