diff --git a/prism/src/userinterface/model/GUIMultiModel.java b/prism/src/userinterface/model/GUIMultiModel.java
index 8655448c..89da859e 100644
--- a/prism/src/userinterface/model/GUIMultiModel.java
+++ b/prism/src/userinterface/model/GUIMultiModel.java
@@ -73,9 +73,6 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 	public static final int CONTINUE = 0;
 	public static final int CANCEL = 1;
 
-	public static final int FILTER_PRISM_MODEL = 0;
-	public static final int FILTER_PEPA_MODEL = 1;
-
 	//GUI
 	private JTextField fileTextField;
 	private JMenu modelMenu, newMenu, viewMenu, exportMenu, computeMenu, computeExportMenu;