--- a/platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml
+++ b/platform-extensions/org.ossmeter.platform.metricmanager.rascal/plugin.xml
@@ -6,6 +6,7 @@
       <metricProviderManager manager="org.ossmeter.metricprovider.rascal.RascalMetricProviderManager">
       </metricProviderManager>
    </extension>
+