From 094bee3c5d5faad515b419d3bf569925b22eab96 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 25 May 2017 11:30:31 +0200
Subject: [PATCH] Bump coq-stdpp.

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

diff --git a/opam.pins b/opam.pins
index 1b5b31d49..5468be99e 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp a0ce0937cfabe16a184af2d92c0466ebacecbca2
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 22511f77518d7d9845c5458f222c52621da11f70
-- 
GitLab