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;
 		}
 	}