From d590c91c87e809935f604dd0a1dced7dbe6ab7f4 Mon Sep 17 00:00:00 2001
From: favonia <favonia@users.noreply.github.com>
Date: Thu, 16 Nov 2023 13:19:04 +0000
Subject: [PATCH] deploy: 288857cfacfdbcd67a4760f3bdcbbd5ff047ae43

---
 asai/quickstart.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/asai/quickstart.html b/asai/quickstart.html
index a7510e9..97c8b79 100644
--- a/asai/quickstart.html
+++ b/asai/quickstart.html
@@ -79,7 +79,9 @@
   let short_code : t -&gt; string =
     function
     (* ... *)
-    | Cool c -&gt; CoolLibrary.Reporter.Message.short_code c
+    | Cool c -&gt;
+      (* You can add a prefix to avoid code collision. *)
+      &quot;C-&quot; ^ CoolLibrary.Reporter.Message.short_code c
 
   (** It is recommended to add a helper function (such as [cool]) to save typing,
       and this tutorial will assume you have done that. *)