From ccfc4af36280147640b24f7ffd7f2510d4b093e4 Mon Sep 17 00:00:00 2001
From: favonia <favonia@gmail.com>
Date: Sat, 28 Sep 2024 19:23:41 -0500
Subject: [PATCH] test(Diagnostic): add a test (#153)

---
 test/TestDiagnostic.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/TestDiagnostic.ml b/test/TestDiagnostic.ml
index d2f43cbf..170b4522 100644
--- a/test/TestDiagnostic.ml
+++ b/test/TestDiagnostic.ml
@@ -8,5 +8,6 @@ let () =
     "string_of_text",
     [
       of_test "\\n" (Asai.Diagnostic.text " \r   e \n  f  \n   g   ") "  e  f   g   ";
+      of_test "\\n" (Asai.Diagnostic.textf "@[<v>123@[456@]789@]") "123 456789";
     ]
   ]