From fff793ff569b9a3436387a876d67898ad8cfd94b Mon Sep 17 00:00:00 2001
From: Sergei Bozhko <sbozhko@mpi-sws.org>
Date: Thu, 15 Jun 2023 14:32:18 +0200
Subject: [PATCH] remove unused import

---
 behavior/service.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/behavior/service.v b/behavior/service.v
index f503d7ef0..507ecddc6 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.
-- 
GitLab