From ec3897f306f87a98d4cfbb06c7a705998c2905ad Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 30 Oct 2006 14:17:10 +0000
Subject: [PATCH] Bugfix: splash screen remains if there is an error on load
 (non-existent model).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@89 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/GUIPrism.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
         {