diff --git a/nicolib b/nicolib
index 8567098..9e8bec7 160000
--- a/nicolib
+++ b/nicolib
@@ -1 +1 @@
-Subproject commit 85670982f0cd84b3127219dcb1d9ec8efe072aea
+Subproject commit 9e8bec737302a85780bf5baa48ff593d0f2da9c3