From dadb9a4e6d70c869449ad4aa3ec7c743146789fd Mon Sep 17 00:00:00 2001
From: Kiran Gopinathan <23038502+Gopiandcode@users.noreply.github.com>
Date: Mon, 13 Apr 2020 07:40:25 +0100
Subject: [PATCH] Update readme.md

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

diff --git a/readme.md b/readme.md
index 848f78f..bd4b309 100644
--- a/readme.md
+++ b/readme.md
@@ -229,9 +229,9 @@ opam update
 opam install -y --deps-only coq-ceramist.1.0.1
 ```
 
-3. Clone the ceramist project:
+3. Clone the ceramist artefact:
 ```
-git clone https://github.com/certichain/ceramist
+git clone -b artefact https://github.com/certichain/ceramist.git
 cd ./ceramist
 ```