Commit 01d1de105050de6b78e5d9f9e33c4752fc4465d8 - cafeobj

If an axiom contains error operators, output a warning message even the system is in silent mode. 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/axiom.lisp less more

978	978	(cond-e (term-error-operators&variables cond nil)))
979	979	(when (and (or lhs-e rhs-e cond-e)
980	980	message?)
981		(when chaos-verbose
	981	(when t ; chaos-verbose ; should always be reported.
982	982	(with-output-chaos-warning ()
983	983	(format t "axiom : ")
984	984	(print-chaos-object axiom)