diff --git a/prism/src/param/StateEliminator.java b/prism/src/param/StateEliminator.java
index 76dfb93d..3a02b16d 100644
--- a/prism/src/param/StateEliminator.java
+++ b/prism/src/param/StateEliminator.java
@@ -27,7 +27,6 @@
 package param;
 
 import java.util.ArrayList;
-import java.util.Arrays;
 import java.util.BitSet;
 import java.util.Collections;
 import java.util.HashSet;