diff --git a/hol4/.HOLCOMMIT b/hol4/.HOLCOMMIT
index 0777dc3aed055adb9ef7ef067ce271eee25e5055..ad3381650d921e700ca0d6ab18430df219150889 100644
--- a/hol4/.HOLCOMMIT
+++ b/hol4/.HOLCOMMIT
@@ -1 +1 @@
-52ffdc8f01c5cf044427bf6f3a12e8300e91765a
+5e024a1e811a454ec9e0271d80b4b1f3146d63b8