Fixed an apparently wrong type declaration.
This commit is contained in:
parent
9ea8e6fbab
commit
71db68240c
@ -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
|
||||
|
||||
Loading…
Reference in New Issue
Block a user