diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java
index a21ae970..90f41886 100644
--- a/prism/src/prism/NondetModel.java
+++ b/prism/src/prism/NondetModel.java
@@ -27,7 +27,6 @@
 package prism;
 
 import java.io.*;
-import java.util.Vector;
 
 import jdd.*;
 import odd.*;