From 959f3588174fa9aa037b2383f0e0b65d78ba8b4b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 30 Nov 2016 12:18:56 +0100
Subject: [PATCH] *oops* fix iris version

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

diff --git a/opam.pins b/opam.pins
index fae78326..40b381af 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fd42adfe6236b6bebacb963e8fed3f7d1f935e26
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq f49a7f18c4afc34b9d2766f2b18e45e1a3cd38e7
-- 
GitLab