From ec590ec1ee2d212873f9660d6a1310c4f4e6821f Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 29 Jul 2015 10:14:21 +0000
Subject: [PATCH] JDD: remove 'import PrismException' introduced in last
 commit, not needed

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10454 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jdd/JDD.java | 1 -
 1 file changed, 1 deletion(-)

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