From 2be5c7f4a51607dc440f1dc1dcb503c1f5152781 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 15 Mar 2017 14:15:44 +0100
Subject: [PATCH] this should be right version of Iris

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

diff --git a/opam.pins b/opam.pins
index 22cd4605..629a8a4a 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq c325f7a97464f0242e534938c5941a72c29452a2
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 039f9fd5f753337034dcbfbbdb311cebdfa93acf
-- 
GitLab