From 7165ac80ef52c02b087ae072c0706645ad1eff9e Mon Sep 17 00:00:00 2001 From: Juan Jose Garcia Ripoll Date: Fri, 28 May 2010 15:49:59 +0200 Subject: [PATCH] More strict settings for policy-assume-no-errors --- src/cmp/cmppolicy.lsp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmp/cmppolicy.lsp b/src/cmp/cmppolicy.lsp index cde39a835..909eab3ec 100644 --- a/src/cmp/cmppolicy.lsp +++ b/src/cmp/cmppolicy.lsp @@ -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)