Fix #2189 duplicate cite entries

This commit is contained in:
Jerome Lelong 2020-07-02 09:40:25 +02:00
parent 2b08bb5367
commit 929b9c446f

View File

@ -106,7 +106,7 @@ export class Citation implements IProvider {
// Already included
continue
}
bibs = bibs.concat(this.getIncludedBibs(child.file, visitedTeX))
bibs = Array.from(new Set(bibs.concat(this.getIncludedBibs(child.file, visitedTeX))))
}
return bibs
}