diff --git a/libs/agda-stdlib b/libs/agda-stdlib
index f091aac..5c12b38 160000
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@@ -1 +1 @@
-Subproject commit f091aac94a07005ce032a26bc932af07f2dffcdf
+Subproject commit 5c12b38a3a6ecb4d7699dcbe828fb1664151c3bb