diff --git a/cl-trivial-features b/cl-trivial-features
index 7a9705e..0101292 160000
--- a/cl-trivial-features
+++ b/cl-trivial-features
@@ -1 +1 @@
-Subproject commit 7a9705e5f973a8815e63ed09c319c2b6e009cd9a
+Subproject commit 01012928380aa414116f239aa366ae14dd4e13fc