From 632d2457f7aa64bb61d69b194921652bd9d86c87 Mon Sep 17 00:00:00 2001
From: Markus Schorn <markus.schorn@windriver.com>
Date: Wed, 18 Oct 2006 12:24:54 +0000
Subject: [PATCH] Optimizes fast indexer for uninteresting resource deltas.
---
.../parser/org/eclipse/cdt/internal/core/pdom/PDOMManager.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMManager.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMManager.java
index dccf41f9fc4..67c00224d44 100644
--- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMManager.java
+++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMManager.java
@@ -297,7 +297,7 @@ public class PDOMManager implements IPDOMManager, IWritableIndexManager, IElemen
return new WritableCIndex((IWritableIndexFragment[]) pdoms.toArray(new IWritableIndexFragment[pdoms.size()]), new IIndexFragment[0]);
}
- public synchronized void elementChanged(ElementChangedEvent event) {
+ public void elementChanged(ElementChangedEvent event) {
// Only respond to post change events
if (event.getType() != ElementChangedEvent.POST_CHANGE)
return;