From d36fa653b377c1a4a8fba21498d75aceb2352c05 Mon Sep 17 00:00:00 2001
From: Zhen Zhang <izgzhen@gmail.com>
Date: Tue, 3 Jan 2017 16:52:39 +0800
Subject: [PATCH] Update to Coq 8.6

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

diff --git a/opam.pins b/opam.pins
index 0b7c841..3a65a2b 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 2e3a9be08487e50bfc4bba911da6a11a4b715d36
+coq-iris https://gitlab.mpi-sws.org/FP/iris-coq e0789039ed0dcb01b6249fec2d5a36f66e5de21c
-- 
GitLab