diff --git a/deps/coqutil b/deps/coqutil
index a392b7992..92bae5356 160000
--- a/deps/coqutil
+++ b/deps/coqutil
@@ -1 +1 @@
-Subproject commit a392b7992cc70a2a7f2d9cd02e45c87bdb0cd371
+Subproject commit 92bae53562886245f3aa0633aff05330badb4706