diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 86c74e12..18d15a7e 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -1608,9 +1608,9 @@ public class NondetModelChecker implements ModelChecker
 				}
 			}
 			catch (PrismException e) {
-				throw e;
 				JDD.Deref(inf);
 				JDD.Deref(maybe);
+				throw e;
 			}
 		}