diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/ErrorParserManager.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/ErrorParserManager.java index c6c49be890c..783fee6577f 100644 --- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/ErrorParserManager.java +++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/ErrorParserManager.java @@ -272,6 +272,9 @@ public class ErrorParserManager extends OutputStream { if (resourceLocation == null) { return false; } + if (location.getDevice()==null) { + resourceLocation = resourceLocation.setDevice(null); + } if (location.isAbsolute()) { return location.equals(resourceLocation); } else {