From 8b9f59ab3630176149621661c8f3ee7b456dfe5f Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 9 Feb 2017 22:35:08 +0100
Subject: [PATCH] Bumb std++ version.

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

diff --git a/opam.pins b/opam.pins
index c27b271e6..8712e4c39 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp aad231293942f6a89fd3c408186e8d4d5b4425ce
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp c1687739d086a13d296083010f0e295b084c8880
-- 
GitLab