tools.deprecation: use none?.

windows-high-dpi
John Benediktsson 2018-02-14 11:57:55 -08:00
parent fcaf4eb39c
commit 30739e70ff
1 changed files with 1 additions and 1 deletions

View File

@ -71,7 +71,7 @@ SINGLETON: deprecation-observer
M: deprecation-observer definitions-changed
drop filter-word-defs
dup [ deprecated? ] any? not
dup [ deprecated? ] none?
[ [ check-deprecations ] each ]
[ drop initialize-deprecation-notes ] if ;