Missing CUDD derefs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@528 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · f94577333d
1 changed files with 6 additions and 0 deletions
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@ -1609,9 +1609,15 @@ public class NondetModelChecker implements ModelChecker
 			}
 			catch (PrismException e) {
 				throw e;
+				JDD.Deref(inf);
+				JDD.Deref(maybe);
 			}
 		}
 		
+		// derefs
+		JDD.Deref(inf);
+		JDD.Deref(maybe);
+		
 		return rewards;
 	}
 }