diff --git a/deps/coqutil b/deps/coqutil
index 9bb864c87..7ff6110f2 160000
--- a/deps/coqutil
+++ b/deps/coqutil
@@ -1 +1 @@
-Subproject commit 9bb864c87be265d98f128e006489c520ae259eea
+Subproject commit 7ff6110f21b9db7fdee7825044e9facf840ff612