diff options
Diffstat (limited to 'script')
| -rw-r--r-- | script/core/diagnostics/duplicate-doc-alias.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/core/diagnostics/duplicate-doc-alias.lua b/script/core/diagnostics/duplicate-doc-alias.lua index 6d8593ca..7f71b63b 100644 --- a/script/core/diagnostics/duplicate-doc-alias.lua +++ b/script/core/diagnostics/duplicate-doc-alias.lua @@ -37,7 +37,7 @@ return function (uri, callback) finish = otherDoc.finish, uri = guide.getUri(otherDoc), } - merged[name] = merged[name] or vm.docHasAttr(otherDoc, 'merge') + merged[name] = merged[name] or vm.docHasAttr(otherDoc, 'partial') end end end |