From fc48a580cef0471958b3e15561b0402e22ef2e67 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 5 Oct 2017 10:02:50 +0200
Subject: [PATCH] explain updating

---
 README.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 1d4259b8..a91fb440 100644
--- a/README.md
+++ b/README.md
@@ -17,8 +17,13 @@ opam (1.2.2 or newer).  You will need the Coq and Iris opam repositories:
     opam repo add iris-dev https://gitlab.mpi-sws.org/FP/opam-dev.git
 
 Once you got opam set up, run `make build-dep` to install the right versions
-of the dependencies.  When the dependencies change, just run `make build-dep`
-again.
+of the dependencies.
+
+## Updating
+
+After doing `git pull`, the development may fail to compile because of outdated
+dependencies.  To fix that, please run `opam update` followed by `make
+build-dep`.
 
 ## Building Instructions
 
-- 
GitLab