From 6ed8faa85004d33cf83fc365bca35e26b6f3e018 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 9 Oct 2017 20:14:07 +0200
Subject: [PATCH] update opam.pins

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

diff --git a/opam.pins b/opam.pins
index 6bdd007ff..ad9b83eeb 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 4ea9c34a9c58a13aae97b4cc7f75fc862bdfcc7c
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 937ef30bf65c03d0598f2ff86a20d9aa25b5a132
-- 
GitLab