From 7b3ee39e55ccebfcc34774be4a8ccfd9caed58ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Mon, 9 May 2022 11:11:24 +0200
Subject: [PATCH] cleanup imports

---
 implementation/definitions/maximal_arrival_sequence.v | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/implementation/definitions/maximal_arrival_sequence.v b/implementation/definitions/maximal_arrival_sequence.v
index fb49716b2..c46090c50 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 *)
 
-- 
GitLab