From a90304a5e0b5c3bce382fbda9379d4204fee3f70 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Mon, 8 Mar 2021 14:44:44 +0100
Subject: [PATCH] Fast-forward CakeML

---
 hol4/binary/cakeml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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