diff --git a/implementation/definitions/maximal_arrival_sequence.v b/implementation/definitions/maximal_arrival_sequence.v
index fb49716b298e39dcbc796ab2bb5ea06273bb1215..c46090c50c0f5905e5cc0d153cb65fed129b1bbd 100644
--- a/implementation/definitions/maximal_arrival_sequence.v
+++ b/implementation/definitions/maximal_arrival_sequence.v
@@ -1,8 +1,5 @@
-Require Import prosa.model.processor.ideal.
-Require Import prosa.model.task.concept.
-Require Import prosa.model.task.arrival.curves.
-Require Export prosa.analysis.facts.model.task_arrivals.
-Require Export prosa.util.all.
+Require Export prosa.model.task.arrival.curves.
+Require Export prosa.util.supremum.
 
 (** * A Maximal Arrival Sequence *)