From 82645f894f619a7fb69355aef9703fc3cb754ba6 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 30 Nov 2016 12:52:39 +0100
Subject: [PATCH] update README

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index a7cda08d..506e6393 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,8 @@ This version is known to compile with:
 
 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
-versions of the dependencies.
+versions of the dependencies.  When the dependencies change (e.g., a newer
+version of Iris is needed), just run `make build-dep` again.
 
 Alternatively, you can manually determine the required Iris commit by consulting
 the `opam.pins` file.
-- 
GitLab