Tidying GUI code.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10409 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · f99bb9ebc2
1 changed files with 0 additions and 3 deletions
--- 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;