From 10d2f47128345d47f91e692a16d1f380e72325ec Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 27 Sep 2024 13:47:30 +0200
Subject: [PATCH] Update src/engine.ml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
---
 src/engine.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/engine.ml b/src/engine.ml
index 58b7be00..93a692b7 100644
--- a/src/engine.ml
+++ b/src/engine.ml
@@ -572,7 +572,7 @@ let push_request tls =
     (Tls.Engine.send_application_data tls [ Packet.push_request ])
 
 let push_reply tls data =
-  (* a trailing 0 byte.. (String.make 1 '\000') *)
+  (* a trailing 0 byte.. ("\000") *)
   let repl =
     String.concat "" [ Packet.push_reply; data; "\000" ]
   in