From 8e77ae451a68d0e47504361072fabd456d680d1e Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Tue, 13 Jul 2021 14:25:54 -0500
Subject: [PATCH] d

---
 coq_ssh.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq_ssh.ml b/coq_ssh.ml
index 249d7ec..a3e3116 100644
--- a/coq_ssh.ml
+++ b/coq_ssh.ml
@@ -19,7 +19,7 @@ let () =
 
   (* protocol negotiation *)
 
-  let hello = "2.0 Hellosu\r\n" |> Bytes.of_string in
+  let hello = "2.0 SSH-2.0-CoqSSH0.1\r\n" |> Bytes.of_string in
   let bytes_written = write socket_fd hello 0 (Bytes.length hello) in
   printf "Sent greeting (%d bytes).\n" bytes_written;