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

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

diff --git a/README.md b/README.md
index 11e7c135..3e648168 100644
--- a/README.md
+++ b/README.md
@@ -129,8 +129,9 @@ then sealed behind a module signature in
 ## For Developers: How to update the Iris dependency
 
 * Do the change in Iris, push it.
-* Wait for CI to publish a new Iris version on the opam archive.
-* In lambdaRust, change opam to depend on the new version.
+* Wait for CI to publish a new Iris version on the opam archive, then run
+  `opam update iris-dev`.
+* In lambdaRust, change the `opam` file to depend on the new version.
 * Run `make build-dep` (in lambdaRust) to install the new version of Iris.
-* 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