diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 0174eabe..a6d3355a 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -1981,6 +1981,8 @@ public class ProbModelChecker extends NonProbModelChecker
 				JDD.Deref(notInBSCCs);
 			if (solnProbs != null)
 				solnProbs.clear();
+			if (initDist != null)
+				initDist.clear();
 			throw e;
 		}
 
@@ -1993,6 +1995,8 @@ public class ProbModelChecker extends NonProbModelChecker
 		}
 		if (start != notInBSCCs)
 			JDD.Deref(notInBSCCs);
+		if (initDist != null)
+			initDist.clear();
 
 		return solnProbs;
 	}