From eb9fec57fcfcc84f0e310e343167a10fb13ca0c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Tue, 15 Aug 2017 11:06:24 +0200
Subject: Upgrade modules

---
 modules/stdlib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules/stdlib')

diff --git a/modules/stdlib b/modules/stdlib
index d3bbd3c..0bb25fb 160000
--- a/modules/stdlib
+++ b/modules/stdlib
@@ -1 +1 @@
-Subproject commit d3bbd3cbf89cb23bce4e55c3828e17c05c4cfd70
+Subproject commit 0bb25fb19904e8b346a25204f787b8bdc5140bae
-- 
cgit v1.2.3