Commit e0d5901c7bc8ab9f8e63dbf8100aef3f78814e55 - cafeobj

Warning message is printed when an axiom having term of error sort in it. tswd 8 years ago

1 changed file(s) with 1 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

-1

chaos/construct/module.lisp less more

354	354	(declare (type module module)
355	355	(type (or null t) clean)
356	356	(values t))
357		;; (check-module-rules module)
	357	(check-module-rules module)
358	358	(when (module-terms-to-be-fixed module)
359	359	(with-in-module (module)
360	360	(let ((name (module-name module))