suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Unbreak "Enable signature checking".

Browse Source 
Previously, if you disabled it once, it would stay disabled.
This commit is contained in:
Mike Sperber 2011-10-21 20:43:50 +02:00
parent 0d642cf976
commit 36d3745d4c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/deinprogramm/signature/tool.rkt
View File

@ -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)