diff --git a/hol4/.HOLCOMMIT b/hol4/.HOLCOMMIT
index 18d1776cbf2e60ca0eeecb4d4d80f5084709198c..faf9210f32ee9982d06b581a71db2bad5580814d 100644
--- a/hol4/.HOLCOMMIT
+++ b/hol4/.HOLCOMMIT
@@ -1 +1 @@
-95c3c2105fb6b31455787c38410706d9c76f5bea
+89e07c5a43c0637bc614b4396e6a8b3cb902cedb