From 094592e76eb9ec7fc4b8d2cf4de11c8c634c23db Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 6 Dec 2016 14:15:02 +0100
Subject: [PATCH] update Iris

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

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