From a169f7ffa712a53a23a346a5290207c79e2a9977 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 21 Oct 2011 20:43:50 +0200 Subject: [PATCH] Unbreak "Enable signature checking". Previously, if you disabled it once, it would stay disabled. (cherry picked from commit 36d3745d4c8e1ff655bb189a5d7853690c6eb139) --- collects/deinprogramm/signature/tool.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/deinprogramm/signature/tool.rkt b/collects/deinprogramm/signature/tool.rkt index c18490472b..c943c2af92 100644 --- a/collects/deinprogramm/signature/tool.rkt +++ b/collects/deinprogramm/signature/tool.rkt @@ -37,7 +37,7 @@ (unless enabled? (set! enabled? #t) (set-label disable-label) - (preferences:set 'signatures:enable-checking? '#f))) + (preferences:set 'signatures:enable-checking? '#t))) (define/public (disable-signature-checking) (when enabled? (set! enabled? #f)