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

# Dependencies:

memos.cert: memos.lisp

stobjsim.cert: stobjsim.lisp
