diff --git a/hol4/binary/cakeml b/hol4/binary/cakeml
index cea42c5fd19d5c10336b10de2209478e7061365e..d799d23caefc9c1971792072350c9dd7c1779c53 160000
--- a/hol4/binary/cakeml
+++ b/hol4/binary/cakeml
@@ -1 +1 @@
-Subproject commit cea42c5fd19d5c10336b10de2209478e7061365e
+Subproject commit d799d23caefc9c1971792072350c9dd7c1779c53