tools.profiler.sampling: fixing missed rename.

master
John Benediktsson 2020-08-14 11:57:27 -07:00
parent 997aaf005e
commit 8cc090950a
1 changed files with 1 additions and 1 deletions

View File

@ -19,7 +19,7 @@ samples-per-second [ 1,000 ] initialize
<PRIVATE
SYMBOL: raw-profile-data
CONSTANT: ignore-words
{ signal-handler leaf-signal-handler profiling minor-gc }
{ signal-handler leaf-signal-handler set-profiling minor-gc }
: ignore-word? ( word -- ? ) ignore-words member? ; inline
PRIVATE>