From 9b6de3dd05bb92bc422ce7339d77be50eb0aba25 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 9 Mar 2017 11:58:00 +0100
Subject: [PATCH] Bump stdpp.

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

diff --git a/opam.pins b/opam.pins
index b46f6d557..4804dd04a 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 046dfe312207d09e1fcbf72dee204be3694195f1
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 5c7064e1988fbcdf225f2be658bc3ebd24ef51df
-- 
GitLab