diff --git a/restructuring/model/task/preemption/parameters.v b/restructuring/model/task/preemption/parameters.v
index 78ce4904486fe7543fba966ff84399f4b0fe74ac..1c0b7fd911597498adf696affe82ef4329c47b0f 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 *)