From cb6838c7c01984e1fcbd0979f41d6bbb74e7267b Mon Sep 17 00:00:00 2001
From: Tom Kelly <ctk21@cl.cam.ac.uk>
Date: Fri, 8 Oct 2021 15:35:56 +0100
Subject: bootstrap

---
 boot/ocamlc   | Bin 3134763 -> 3133981 bytes
 boot/ocamllex | Bin 382571 -> 382571 bytes
 2 files changed, 0 insertions(+), 0 deletions(-)

(limited to 'boot')

diff --git a/boot/ocamlc b/boot/ocamlc
index 3041bf9399..788784ec8e 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index c84b7916fb..a95a9bba57 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ
-- 
cgit v1.2.1