diff options
Diffstat (limited to 'dev')
-rw-r--r-- | dev/translator-vm.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/translator-vm.js b/dev/translator-vm.js index 8397b65e..f68b25db 100644 --- a/dev/translator-vm.js +++ b/dev/translator-vm.js @@ -170,6 +170,12 @@ class TranslatorVM extends DatabaseVM { enabledDictionaryMap = new Map(enabledDictionaryMap); options.enabledDictionaryMap = enabledDictionaryMap; } + const {excludeDictionaryDefinitions} = options; + options.excludeDictionaryDefinitions = ( + Array.isArray(excludeDictionaryDefinitions) ? + new Set(excludeDictionaryDefinitions) : + null + ); return options; } |