Moved the definition of *IDNM-COUNTER* to kenzo.lisp.

This commit is contained in:
Gerd Heber 2015-07-03 20:39:04 -05:00
parent 175be44c46
commit ab56af4f50

View File

@ -100,10 +100,6 @@
excl::*redefinition-warnings*
*redefinition-warnings* nil))
;; IDNM = IDentification NuMber
(DEFVAR *IDNM-COUNTER*)
(SETF *IDNM-COUNTER* 0)
(DEFCLASS CHAIN-COMPLEX ()
((cmpr :type cmprf :initarg :cmpr :reader cmpr1)
(basis :type basis :initarg :basis :reader basis1)