From ac7b9d7f80b6846b98eefbedd231c3d7a57f23f7 Mon Sep 17 00:00:00 2001
From: Ernst Moritz Hahn <emhahn@cs.ox.ac.uk>
Date: Thu, 8 Jan 2015 19:27:59 +0000
Subject: [PATCH] removed warning

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

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;