diff --git a/behavior/service.v b/behavior/service.v
index f503d7ef0451544363843bbd92f1b412651e030f..507ecddc6d16f0a308f7454ff62777af8967255c 100644
--- a/behavior/service.v
+++ b/behavior/service.v
@@ -1,4 +1,3 @@
-From mathcomp Require Export ssreflect ssrnat ssrbool eqtype fintype bigop.
 Require Export prosa.behavior.schedule.
 
 Section Service.