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