From 0bc2ea0bb40578927a9805b91e2e17405afd9760 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Fri, 22 Nov 2019 20:55:11 +0100
Subject: [PATCH] remove unneeded Require in model.task.preemption.parameters

---
 restructuring/model/task/preemption/parameters.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/restructuring/model/task/preemption/parameters.v b/restructuring/model/task/preemption/parameters.v
index 78ce49044..1c0b7fd91 100644
--- a/restructuring/model/task/preemption/parameters.v
+++ b/restructuring/model/task/preemption/parameters.v
@@ -1,4 +1,3 @@
-Require Export rt.util.all.
 Require Export rt.restructuring.model.preemption.parameter.
 Require Export rt.restructuring.model.task.concept.
 (** * Static information about preemption points *)
-- 
GitLab