diff --git a/core/org.eclipse.cdt.ui/plugin.xml b/core/org.eclipse.cdt.ui/plugin.xml index 2c6741a0a7d..e1b777992e4 100644 --- a/core/org.eclipse.cdt.ui/plugin.xml +++ b/core/org.eclipse.cdt.ui/plugin.xml @@ -886,6 +886,7 @@ name="type" value="org.eclipse.cdt.core.problem"/> + - - + + + + + + + + + +