From 51f71b2b7a7defeaea3dd15010a7decc90744b47 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Mon, 14 Nov 2016 14:50:48 +0100
Subject: [PATCH] automata.finite: remove some imports

---
 prism/src/automata/finite/NondeterministicFiniteAutomaton.java | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/prism/src/automata/finite/NondeterministicFiniteAutomaton.java b/prism/src/automata/finite/NondeterministicFiniteAutomaton.java
index 743648fd..15b5e89b 100644
--- a/prism/src/automata/finite/NondeterministicFiniteAutomaton.java
+++ b/prism/src/automata/finite/NondeterministicFiniteAutomaton.java
@@ -10,9 +10,6 @@ import java.util.Set;
 import parser.ast.Expression;
 import parser.ast.ExpressionLabel;
 import parser.ast.ExpressionRegular;
-import prism.PrismException;
-import prism.PrismFileLog;
-import prism.PrismLog;
 /**
  * Class to store a non-deterministic finite automaton.
  */