From 186c4565fda36f8a92cf80bf5a2a6aa32b3515cd Mon Sep 17 00:00:00 2001
From: Konstantin Pastbin <konstantin.pastbin@gmail.com>
Date: Sat, 16 Sep 2023 13:12:40 +0300
Subject: [PATCH] [tools] Update kothic (Remove int_name, add a warning for
 invalid dashdot size)

Signed-off-by: Konstantin Pastbin <konstantin.pastbin@gmail.com>
---
 tools/kothic | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/kothic b/tools/kothic
index d58e496bd4..5b22c7a14c 160000
--- a/tools/kothic
+++ b/tools/kothic
@@ -1 +1 @@
-Subproject commit d58e496bd4c9ceee4019ff637a1cbc7d983aa2c2
+Subproject commit 5b22c7a14c9f5ac67de3fc47aab644f4b3063832