From f99bb9ebc2957ed7c35b7b0c9343da23638dbe92 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 23 Jul 2015 23:24:06 +0000 Subject: [PATCH] Tidying GUI code. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10409 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/model/GUIMultiModel.java | 3 --- 1 file changed, 3 deletions(-) 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;