diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java index e91741d33b3..b92e606b8c8 100644 --- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOM.java @@ -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) {