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