diff --git a/hol4/.HOLCOMMIT b/hol4/.HOLCOMMIT
index ad3381650d921e700ca0d6ab18430df219150889..4feab25d3865d922f0093975366283ba96b6fe64 100644
--- a/hol4/.HOLCOMMIT
+++ b/hol4/.HOLCOMMIT
@@ -1 +1 @@
-5e024a1e811a454ec9e0271d80b4b1f3146d63b8
+1dfda82edf04a50d842dac582fd1231a6d07239a