removed unused imports

TAPAAL · Apr 30, 2024 · ff06798 · ff06798
1 parent 4fca790
commit ff06798
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/main/java/pipe/gui/petrinet/animation/Animator.java b/src/main/java/pipe/gui/petrinet/animation/Animator.java
@@ -4,7 +4,6 @@
 import java.math.BigDecimal;
 import java.text.ParseException;
 import java.util.ArrayList;
-import java.util.Arrays;
 import java.util.List;
 import java.util.Map;
 
@@ -31,7 +30,6 @@
 import dk.aau.cs.model.tapn.TimedTransition;
 import dk.aau.cs.model.tapn.TransportArc;
 import dk.aau.cs.util.IntervalOperations;
-import dk.aau.cs.util.Require;
 import dk.aau.cs.util.RequireException;
 import dk.aau.cs.util.Tuple;
 import dk.aau.cs.verification.VerifyTAPN.TraceType;