From f1122cafa27f267f2f9e62ae0a41f076fdb9c5d2 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 22 Sep 2019 16:54:03 +0100
Subject: [PATCH] Banner

---
 reactics | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/reactics b/reactics
index b3f389b..877f967 100755
--- a/reactics
+++ b/reactics
@@ -1,5 +1,11 @@
 #!/bin/bash
 
+echo
+echo " ------------------------------------------------"
+echo " -- ReactICS -- Reaction Systems Model Checker --"
+echo " ------------------------------------------------"
+echo
+
 mode="$1"
 shift