diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-06-07 21:27:45 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-06-07 21:27:45 +0800 |
| commit | 680e6c9848a6e5f43ccce11561ec98839822bdea (patch) | |
| tree | 829e587428002e9fdd3f82364c39490d2c3f0c24 /script/files.lua | |
| parent | 5762f1bdc412a128489f0ad27124193fedfb13e9 (diff) | |
| download | lua-language-server-680e6c9848a6e5f43ccce11561ec98839822bdea.zip | |
cleanup
Diffstat (limited to 'script/files.lua')
| -rw-r--r-- | script/files.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/files.lua b/script/files.lua index 22c9ae31..afbd64cb 100644 --- a/script/files.lua +++ b/script/files.lua @@ -488,7 +488,7 @@ function m.compileState(uri, text) , { special = config.get(uri, 'Lua.runtime.special'), unicodeName = config.get(uri, 'Lua.runtime.unicodeName'), - nonstandardSymbol = config.get(uri, 'Lua.runtime.nonstandardSymbol'), + nonstandardSymbol = util.arrayToHash(config.get(uri, 'Lua.runtime.nonstandardSymbol')), } ) local passed = os.clock() - clock |