More strict settings for policy-assume-no-errors

This commit is contained in:
Juan Jose Garcia Ripoll 2010-05-28 15:49:59 +02:00
parent 31b8b8f73a
commit 7165ac80ef

View file

@ -206,7 +206,7 @@
;; ERROR CHECKING POLICY
;;
(define-policy assume-no-errors :off safety 2)
(define-policy assume-no-errors :off safety 1)
(define-policy assume-right-type :alias assume-no-errors)