diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 6eaf739a..76daef1d 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -38,7 +38,6 @@ import sparse.*;
 import hybrid.*;
 import parser.ast.*;
 import parser.visitor.ASTTraverse;
-import jltl2dstar.*;
 
 /*
  * Model checker for MDPs