diff --git a/de.prob.plugin/fragment.xml b/de.prob.plugin/fragment.xml
index a6ecb8c350b9a18c0b352a57ddffba2c44a7bb5c..96f3d639fde5afb7f0634e9c9e91f03e660dabe6 100644
--- a/de.prob.plugin/fragment.xml
+++ b/de.prob.plugin/fragment.xml
@@ -10,17 +10,4 @@
             name="ProB"> 
       </perspective>
    </extension>
-   
-     <extension
-         point="org.eclipse.ui.menus">
-      <menuContribution
-            locationURI="toolbar:org.eclipse.ui.main.toolbar">
-         <toolbar
-               id="probtoolbar">
-         </toolbar>
-      </menuContribution>
-   </extension>
-   
-   
-
 </fragment>