From 7a9c7cbf5e529c30ec97524c98f887a463767058 Mon Sep 17 00:00:00 2001
From: Maxime Lesourd <maxime.lesourd@inria.fr>
Date: Fri, 24 May 2019 14:56:35 +0200
Subject: [PATCH] Moved sequential to schedule

---
 behavior/facts/sequential.v          | 3 +--
 behavior/{ => schedule}/sequential.v | 0
 2 files changed, 1 insertion(+), 2 deletions(-)
 rename behavior/{ => schedule}/sequential.v (100%)

diff --git a/behavior/facts/sequential.v b/behavior/facts/sequential.v
index 27cad7cf..14d5be65 100644
--- a/behavior/facts/sequential.v
+++ b/behavior/facts/sequential.v
@@ -1,4 +1,4 @@
-From rt.behavior Require Export sequential.
+From rt.behavior Require Export schedule.sequential.
 
 Section ExecutionOrder.
   (* Consider any type of job associated with any type of tasks... *)
@@ -39,4 +39,3 @@ Section ExecutionOrder.
   Qed.
 
 End ExecutionOrder.
-
diff --git a/behavior/sequential.v b/behavior/schedule/sequential.v
similarity index 100%
rename from behavior/sequential.v
rename to behavior/schedule/sequential.v
-- 
GitLab