From 7caf062a47b18a01c89c7e3ada127e7e4971fd04 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 8 Dec 2016 10:08:27 +0100
Subject: [PATCH] update Iris (for 8.6 compat)

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

diff --git a/opam.pins b/opam.pins
index dc3d8841..4bcf1fff 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fb1de8a829222a772de741f9eb9a9a9eb15d966d
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq f8e2c74ce745f092c4d20e9ef855d7657e25134c
-- 
GitLab