fix README

bb5ede7f · Ralf Jung · 47360b63 · bb5ede7f
Commit bb5ede7f authored Dec 12, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

README.md README.md +0 -1

No files found.
--- a/README.md
+++ b/README.md
@@ -8,7 +8,6 @@ This version is known to compile with:

 - Coq 8.5pl3
 - Ssreflect 1.6
- - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)

 The easiest way to install the correct versions of the dependencies is through
 opam.  Once you got opam set up, just run `make build-dep` to install the right