From df0552ef6bb8805bf68e61a17d4b035b1d89bd69 Mon Sep 17 00:00:00 2001
From: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com>
Date: Fri, 8 May 2020 10:17:20 +0100
Subject: [PATCH] move to subfolder

---
 .../Simplex/{Messaging.idr => Messaging/Protocol.idr}          | 2 +-
 specification/Simplex/Messaging/Scenarios.idr                  | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 rename specification/Simplex/{Messaging.idr => Messaging/Protocol.idr} (99%)
 create mode 100644 specification/Simplex/Messaging/Scenarios.idr

diff --git a/specification/Simplex/Messaging.idr b/specification/Simplex/Messaging/Protocol.idr
similarity index 99%
rename from specification/Simplex/Messaging.idr
rename to specification/Simplex/Messaging/Protocol.idr
index f27583bfa0..eb1ef73d2d 100644
--- a/specification/Simplex/Messaging.idr
+++ b/specification/Simplex/Messaging/Protocol.idr
@@ -1,4 +1,4 @@
-module Simplex.Messaging
+module Simplex.Messaging.Protocol
 
 data Participant = Recipient | Sender | Broker
 
diff --git a/specification/Simplex/Messaging/Scenarios.idr b/specification/Simplex/Messaging/Scenarios.idr
new file mode 100644
index 0000000000..a942b6af39
--- /dev/null
+++ b/specification/Simplex/Messaging/Scenarios.idr
@@ -0,0 +1,3 @@
+module Simplex.Messaging.Scenarios
+
+import Protocol