diff --git a/deps/coqutil b/deps/coqutil
index c1caa0820..0833256bc 160000
--- a/deps/coqutil
+++ b/deps/coqutil
@@ -1 +1 @@
-Subproject commit c1caa082052a5ba861c268fa3b1838801f10bd94
+Subproject commit 0833256bce2a55642c2b0ca37be6bbd27e1af6e1