From c6a9de2db3759bf0857599c53318c4a21b87d81f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 24 May 2010 22:06:21 +0000
Subject: [PATCH] Bugfix: do not stop after exception in const evaluation when
 model built.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1909 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/model/computation/BuildModelThread.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/userinterface/model/computation/BuildModelThread.java b/prism/src/userinterface/model/computation/BuildModelThread.java
index a29354fa..aee0fad0 100644
--- a/prism/src/userinterface/model/computation/BuildModelThread.java
+++ b/prism/src/userinterface/model/computation/BuildModelThread.java
@@ -184,6 +184,7 @@ public class BuildModelThread extends GUIComputationThread
 				error(errMsg);
 				handler.modelBuildFailed(buildError);
 			}});
+			return;
 		}
 		
 		// notify interface