diff --git a/src/chcm-elementary-op.lisp b/src/chcm-elementary-op.lisp index 5424f6e..37a2e9c 100644 --- a/src/chcm-elementary-op.lisp +++ b/src/chcm-elementary-op.lisp @@ -297,7 +297,7 @@ (= degr -1)) (error "In (METHOD ADD CHAIN-COMPLEX MORPHISM), the data are not coherent.")) (let ((new-dffr (add dffr perturbation strt))) - (declare (type intr-mrph new-dffr)) + (declare (type morphism new-dffr)) (let ((new-chcm (build-chcm :cmpr cmpr :basis basis