From 08a2c9d4b7803684c95178186568156419e35a40 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Mon, 14 Dec 2020 15:34:02 +0100
Subject: [PATCH] directory -> repository in README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index caee319..3911b3b 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # ACTRIS COQ DEVELOPMENT
 
-This directory contains the Coq mechanization of the Actris framework,
+This repository contains the Coq mechanization of the Actris framework,
 first presented in the paper
 [Actris: Session Type Based Reasoning in Separation Logic](https://iris-project.org/pdfs/2020-popl-actris-final.pdf)
 at POPL'20.
-- 
GitLab