From 42c18cdfc07fa68d130b6a63c50db66f0eb4cea0 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 22 Dec 2016 13:16:37 +0000
Subject: [PATCH] prism.NondetModel: cleanup import

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

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.*;