diff --git a/hol4/cakeml b/hol4/cakeml
index c760e35a371970c83a07a154bb67d4b842115a1f..4273d509b99f86716a40d18895a091bbd043f24d 160000
--- a/hol4/cakeml
+++ b/hol4/cakeml
@@ -1 +1 @@
-Subproject commit c760e35a371970c83a07a154bb67d4b842115a1f
+Subproject commit 4273d509b99f86716a40d18895a091bbd043f24d