From afccd44387ef797df3c1088dcb0ec9876721e34c Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Thu, 7 May 2020 00:16:43 +0200
Subject: [PATCH] Changed header title

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 1432df0..48a7e94 100644
--- a/README.md
+++ b/README.md
@@ -11,8 +11,8 @@ It has been built and tested with the following dependencies
 In order to build, install the above dependencies and then run
 `make -j [num CPU cores]` to compile Actris.
 
-## Logical relation
-The logical relation for type safety of the session type system is contained
+## Semantic Session Type System
+The logical relation for type safety of a semantic session type system is contained
 in the directory [theories/logrel](theories/logrel). The logical relation is
 defined across the following files:
 
-- 
GitLab