From d0cb585b1b34b491cda19f82e8026473a2d16e00 Mon Sep 17 00:00:00 2001
From: Hoang-Hai Dang <haidang@mpi-sws.org>
Date: Fri, 16 Nov 2018 12:04:52 +0100
Subject: [PATCH] change name in README

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

diff --git a/README.md b/README.md
index dd072c12..0634f073 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
-# RMRM (RustBelt Meets Relaxed Memory) COQ DEVELOPMENT
+# RBrlx (RustBelt Relaxed) COQ DEVELOPMENT
 
-This is the Coq development accompanying RMRM.
+This is the Coq development accompanying RBrlx.
 
 ## Prerequisites
 
-- 
GitLab