From 785df07b63e8e6f5769c9b5f6465672b09a375c4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 17 Jun 2011 17:09:52 +0000
Subject: [PATCH] Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3116 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/CTMCModelChecker.java | 2 --
 1 file changed, 2 deletions(-)

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;