diff --git a/hol4/.HOLCOMMIT b/hol4/.HOLCOMMIT
index a55461f9ea37233477cf2d7a536a7639e301c68a..18d1776cbf2e60ca0eeecb4d4d80f5084709198c 100644
--- a/hol4/.HOLCOMMIT
+++ b/hol4/.HOLCOMMIT
@@ -1 +1 @@
-2809015377f873ada95535e89b801a87c05eda9c
+95c3c2105fb6b31455787c38410706d9c76f5bea