mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-09-10 12:03:16 +02:00
Code Issues Wiki Activity

Fix up a few formatting things and the version number for tags.

Browse source
This commit is contained in:
Doug Schaefer 2013-02-26 23:08:13 -05:00
parent 6c6ab24c23
commit 9c4d88dab4
3 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java
View file

@ -465,10 +465,9 @@ public class PDOM extends PlatformObject implements IPDOM {
}
public PDOMTagIndex getTagIndex() throws CoreException {
if (tagIndex == null)
{
// tag index can only be stored in database versions 139.1 or greater
tagIndex = new PDOMTagIndex( db.getVersion() >= version( 139, 1 ) ? db : null, TAG_INDEX );
if (tagIndex == null) {
// tag index can only be stored in database versions 140.1 or greater
tagIndex = new PDOMTagIndex(db.getVersion() >= version(140, 1) ? db : null, TAG_INDEX);
}
return tagIndex;
}