From 56b90e28a8eda607f6e7cb42beea37348612e96d Mon Sep 17 00:00:00 2001
From: tatiana-yan <tatiana.kondakova@gmail.com>
Date: Mon, 2 Mar 2020 10:16:05 +0300
Subject: [PATCH] [kothic] Update kothic to the version that marks original
 types.

---
 tools/kothic | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/kothic b/tools/kothic
index 2dc0d72e3f..cbaff545dd 160000
--- a/tools/kothic
+++ b/tools/kothic
@@ -1 +1 @@
-Subproject commit 2dc0d72e3fe4e71789051e898768e84504d5e573
+Subproject commit cbaff545dd5d2343dcbd30285884dd4afa509d93