From e2a36731e2145d599acdfbc5a17f9c075bc6f269 Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Tue, 23 Apr 2019 21:45:20 +0200
Subject: [PATCH] ODD: Add small sanity check

---
 prism/src/odd/ODDUtils.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/odd/ODDUtils.java b/prism/src/odd/ODDUtils.java
index c56fcd66..d149476a 100644
--- a/prism/src/odd/ODDUtils.java
+++ b/prism/src/odd/ODDUtils.java
@@ -74,6 +74,7 @@ public class ODDUtils
 		if (jdd.SanityJDD.enabled) {
 			// ODD construction requires the JDDVars to be in ascending order
 			jdd.SanityJDD.checkVarsAreSorted(vars);
+			jdd.SanityJDD.checkIsDDOverVars(dd, vars);
 		}
 
 		long res = ODD_BuildODD(dd.ptr(), vars.array(), vars.n());