diff --git a/deps/coqutil b/deps/coqutil
index 0f3b370bf..f12ff0211 160000
--- a/deps/coqutil
+++ b/deps/coqutil
@@ -1 +1 @@
-Subproject commit 0f3b370bf4c9e9535451654148005d1805b76097
+Subproject commit f12ff02115bc005733d276573923b367bc10c154