mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-07 17:56:01 +02:00
Code Issues Wiki Activity

Bug 146258 - Set the version on the PDOM. Might be a good idea...

Browse source
This commit is contained in:
Doug Schaefer 2006-06-09 14:23:10 +00:00
parent c21d7a81ec
commit 6d81ef8ab2
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -85,7 +85,11 @@ public class PDOM extends PlatformObject
}
public boolean versionMismatch() {
return db.getVersion() != VERSION;
if (db.getVersion() != VERSION) {
db.setVersion(VERSION);
return true;
} else
return false;
}
public Object getAdapter(Class adapter) {