diff --git a/deps/coqutil b/deps/coqutil
index f12ff0211..126561ce8 160000
--- a/deps/coqutil
+++ b/deps/coqutil
@@ -1 +1 @@
-Subproject commit f12ff02115bc005733d276573923b367bc10c154
+Subproject commit 126561ce8d32df8be7ea7de10eebd0e35b9fa8e9