diff --git a/prism/src/userinterface/GUIPrism.java b/prism/src/userinterface/GUIPrism.java index 0b7d3adf..40518860 100644 --- a/prism/src/userinterface/GUIPrism.java +++ b/prism/src/userinterface/GUIPrism.java @@ -82,8 +82,8 @@ public class GUIPrism extends JFrame gui = new GUIPrism(); gui.importOptions(); gui.show(); - gui.passCLArgs(args); EventQueue.invokeLater(new GUIPrism.SplashScreenCloser()); + gui.passCLArgs(args); } catch(GUIException e) {