From c1b55ac77e5a1d53c9f252bb2a99d2c758316561 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Fri, 16 Nov 2018 10:41:27 +0100
Subject: [PATCH] No need to install TLC before pinnning it.

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

diff --git a/README.md b/README.md
index e5f33d0..a1e6ba0 100644
--- a/README.md
+++ b/README.md
@@ -48,7 +48,6 @@ More info on the Coq development of Iris: [there][coq-iris].
 The TLC library is required by the proof of the union-find algorithm. It is
 available through an opam package in the Coq repository (added earlier).
 
-    opam install coq-tlc
     opam pin add coq-tlc -k version 20180316
 
 ## Compiling
-- 
2.22.0