From 6d81ef8ab250efcdedadf4c2da8db5a065f17f7f Mon Sep 17 00:00:00 2001
From: Doug Schaefer <doug.schaefer@windriver.com>
Date: Fri, 9 Jun 2006 14:23:10 +0000
Subject: [PATCH] Bug 146258 - Set the version on the PDOM. Might be a good
 idea...

---
 .../parser/org/eclipse/cdt/internal/core/pdom/PDOM.java     | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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) {