diff --git a/external/coqutil b/external/coqutil
index 0833256bc..e39537339 160000
--- a/external/coqutil
+++ b/external/coqutil
@@ -1 +1 @@
-Subproject commit 0833256bce2a55642c2b0ca37be6bbd27e1af6e1
+Subproject commit e395373399f49bf8878d6483dd54fe96773a6fe3