WIP: optimizations for linux
Some checks failed
Deploy Website / deploy (push) Failing after 4m48s

This commit is contained in:
2026-02-03 00:16:31 +01:00
parent 8c31ed4196
commit b53e4a76ab
11 changed files with 64 additions and 54 deletions

View File

@@ -3067,7 +3067,7 @@ pub(super) fn compile_word(
}
// User-defined words from dictionary
if let Some(body) = dict.lock().unwrap().get(name) {
if let Some(body) = dict.lock().get(name) {
ops.extend(body.iter().cloned());
return true;
}