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
16 years ago · c6a9de2db3
1 changed files with 1 additions and 0 deletions
--- 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