From 9c0c46206bf4544746a37882e8340923b95f3115 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 7 Feb 2017 15:24:46 +0100
Subject: [PATCH] update stdpp

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

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