diff --git a/nicolib b/nicolib
index 8567098..f290e64 160000
--- a/nicolib
+++ b/nicolib
@@ -1 +1 @@
-Subproject commit 85670982f0cd84b3127219dcb1d9ec8efe072aea
+Subproject commit f290e64a4ea11e2a1347623cdd78a0fc4d09120e