From 3d8405f7407a6cdee71a9f1efc8ac755f2b7eab8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 22 Mar 2010 21:33:55 +0000
Subject: [PATCH] SCCFind bug fix (derefs).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1827 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/SCCComputerSCCFind.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/prism/SCCComputerSCCFind.java b/prism/src/prism/SCCComputerSCCFind.java
index b7682e2e..2b07755c 100644
--- a/prism/src/prism/SCCComputerSCCFind.java
+++ b/prism/src/prism/SCCComputerSCCFind.java
@@ -255,6 +255,7 @@ public class SCCComputerSCCFind extends SCCComputer
 			intersection = JDD.And(preimage(scc, edges), forwardSet);
 			JDD.Ref(intersection);
 			JDD.Ref(scc);
+			JDD.Deref(tmp);
 			tmp = JDD.And(intersection, JDD.Not(scc));
 		}
 		JDD.Deref(tmp);