From c325f7a97464f0242e534938c5941a72c29452a2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 15 Mar 2017 13:50:21 +0100
Subject: [PATCH] update coq-stdpp

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

diff --git a/opam.pins b/opam.pins
index a463fdf4e..01c2054ac 100644
--- a/opam.pins
+++ b/opam.pins
@@ -1 +1 @@
-coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp db2da9af69df9e0f0f116b5e1941907c7ff4478d
+coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp cb0212005028c40263a9b90d384dba0be849ef39
-- 
GitLab