From ed9b3eefba274d7ed3346db952a6ee09501a8f6a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 13 Dec 2017 12:56:49 +0100
Subject: [PATCH] update README

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

diff --git a/README.md b/README.md
index 1cfec97a8..5f2ab34db 100644
--- a/README.md
+++ b/README.md
@@ -71,8 +71,9 @@ document is [available online](http://plv.mpi-sws.org/iris/appendix-3.0.pdf).
 ## For Developers: How to update the std++ dependency
 
 * Do the change in std++, push it.
-* Wait for CI to publish a new std++ version on the opam archive.
-* In Iris, change opam to depend on the new version.
+* Wait for CI to publish a new std++ version on the opam archive, then run
+  `opam update iris-dev`.
+* In Iris, change the `opam` file to depend on the new version.
 * Run `make build-dep` (in Iris) to install the new version of std++.
-* You may have to do `make clean` as Coq will likely complain about .vo file
+  You may have to do `make clean` as Coq will likely complain about .vo file
   mismatches.
-- 
GitLab