From e994179039f056077a1868aa175e3aa47480de63 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 1 Mar 2017 20:18:25 +0100
Subject: [PATCH] forgot to bump Iris

---
 opam.pins | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam.pins b/opam.pins
index 63a5acc4..13e3aec2 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 6456f1f92fa1fc40b823535dedd8b3989827fd06
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 9bafdd7eea6d8015ffb127cb3a5133eba86e0ce9
-- 
GitLab