diff -ur cl-rsm-modal-1.0.orig/modal.lisp cl-rsm-modal-1.0/modal.lisp --- cl-rsm-modal-1.0.orig/modal.lisp 2005-02-05 15:14:10.000000000 -0600 +++ cl-rsm-modal-1.0/modal.lisp 2005-02-05 15:25:21.685439300 -0600 @@ -34,7 +34,7 @@ (make-hash-table :test #'equalp) "Stores modal systems by name.") -(defconstant +primitive-truth-function+ +(cl+:defconst +primitive-truth-function+ #'(lambda (world prop) (declare (ignore world prop)) nil) diff -ur cl-rsm-modal-1.0.orig/rsm-modal.asd cl-rsm-modal-1.0/rsm-modal.asd --- cl-rsm-modal-1.0.orig/rsm-modal.asd 2005-02-05 15:14:10.000000000 -0600 +++ cl-rsm-modal-1.0/rsm-modal.asd 2005-02-05 15:34:00.938969207 -0600 @@ -27,8 +27,8 @@ :components ((:file "package") - (:file "modal" :depends-on ("package")) - )) + (:file "modal" :depends-on ("package"))) + :depends-on (cl-plus)) (defsystem :rsm-modal-test