From cf16b668491b97088dcbf56e8b8fc7fc2accd424 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 10 Aug 2016 17:22:31 +0000
Subject: [PATCH] Prism.closeDown: reset cuddStarted flag

Normally, this should not matter, but in case closeDown is called multiple times
(e.g., due to some nailgun stuff), this should avoid multiple CUDD shutdowns,
which would probably lead to hard crashes.



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

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 9aa26575..03fbd854 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3617,6 +3617,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		// Close down CUDD/JDD
 		if (cuddStarted) {
 			JDD.CloseDownCUDD(check);
+			// reset CUDD status
+			cuddStarted = false;
 		}
 	}