diff --git a/prism/src/userinterface/properties/computation/ModelCheckThread.java b/prism/src/userinterface/properties/computation/ModelCheckThread.java
index 2bd14022..dd5c8386 100644
--- a/prism/src/userinterface/properties/computation/ModelCheckThread.java
+++ b/prism/src/userinterface/properties/computation/ModelCheckThread.java
@@ -109,7 +109,13 @@ public class ModelCheckThread extends GUIComputationThread
 				error(e.getMessage());
 			}
 			ic.interrupt();
-			while(!ic.canContinue){}
+			try
+			{
+				ic.join();
+			}
+			catch(InterruptedException e)
+			{}
+			//while(!ic.canContinue){}
 			gp.setResult(result);
 			gp.setMethodString("Verification");
 			gp.setConstants(definedMFConstants, definedPFConstants);