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.
(cherry picked from commit 36d3745d4c)
This commit is contained in:
Mike Sperber 2011-10-21 20:43:50 +02:00 committed by Eli Barzilay
parent 3c3633cd46
commit a169f7ffa7
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)