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;      }  |