From 17a1bb8122352facf80b875be41dba1973f27121 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Wed, 20 Nov 2019 03:04:53 +0100
Subject: [PATCH] remove unneeded Require statements in model/arrival
---
restructuring/model/arrival/arrival_curves.v | 5 ++---
restructuring/model/arrival/sporadic.v | 1 -
2 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/restructuring/model/arrival/arrival_curves.v b/restructuring/model/arrival/arrival_curves.v
index f6cd2ac51..f89c3df92 100644
--- a/restructuring/model/arrival/arrival_curves.v
+++ b/restructuring/model/arrival/arrival_curves.v
@@ -1,6 +1,5 @@
-Require Import rt.util.all.
-Require Export rt.restructuring.behavior.all.
-Require Import rt.restructuring.model.aggregate.task_arrivals.
+Require Export rt.util.rel.
+Require Export rt.restructuring.model.aggregate.task_arrivals.
(** In this section, we define the notion of arrival curves, which
can be used to reason about the frequency of job arrivals. *)
diff --git a/restructuring/model/arrival/sporadic.v b/restructuring/model/arrival/sporadic.v
index 6dc889ba1..3806e931c 100644
--- a/restructuring/model/arrival/sporadic.v
+++ b/restructuring/model/arrival/sporadic.v
@@ -1,4 +1,3 @@
-Require Export rt.restructuring.behavior.all.
Require Export rt.restructuring.model.task.
Section TaskMinInterArrivalTime.
--
GitLab