diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java
index 1423e905..6d9bbca3 100644
--- a/prism/src/jdd/JDD.java
+++ b/prism/src/jdd/JDD.java
@@ -30,7 +30,6 @@ package jdd;
 
 import java.util.*;
 
-import prism.PrismException;
 import prism.PrismLog;
 
 public class JDD