include ../../Makefile-generic
ACL2 = ../../../saved_acl2
# Dependencies:

solutions.cert: solutions.lisp
