diff --git a/deps/coqutil b/deps/coqutil
index 2cbceef39..ac8490b36 160000
--- a/deps/coqutil
+++ b/deps/coqutil
@@ -1 +1 @@
-Subproject commit 2cbceef39d15c0a824c74f27c91889d0eae3d711
+Subproject commit ac8490b3648b8b5b66eea40b148b749d4d8ae2bc