diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java
index 150eb109..27177be7 100644
--- a/prism/src/explicit/CTMCModelChecker.java
+++ b/prism/src/explicit/CTMCModelChecker.java
@@ -28,8 +28,6 @@ package explicit;
 
 import java.util.*;
 
-import jdd.JDD;
-import jdd.JDDNode;
 import explicit.rewards.MCRewards;
 import explicit.rewards.MCRewardsStateArray;
 import parser.ast.ExpressionTemporal;