From 7baeea63652fea9fe14fe5270c4a91101844f359 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igfoo@github.com>
Date: Thu, 21 Nov 2024 12:41:34 +0000
Subject: [PATCH] KE2: Use a more consistent TRAP label

---
 java/kotlin-extractor2/src/main/kotlin/entities/Types.kt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/kotlin-extractor2/src/main/kotlin/entities/Types.kt b/java/kotlin-extractor2/src/main/kotlin/entities/Types.kt
index f54b723b90f..e012405dd38 100644
--- a/java/kotlin-extractor2/src/main/kotlin/entities/Types.kt
+++ b/java/kotlin-extractor2/src/main/kotlin/entities/Types.kt
@@ -12,7 +12,7 @@ private fun KotlinUsesExtractor.useClassType(
     val classId = addClassLabel(c.symbol as KaClassSymbol)
     val javaResult = TypeResult(classId /* , TODO, TODO */)
     val kotlinTypeId =
-        tw.getLabelFor<DbKt_class_type>("@\"kt_class{$classId}\"") {
+        tw.getLabelFor<DbKt_class_type>("@\"kt_class;{$classId}\"") {
             tw.writeKt_class_types(it, classId)
         }
     val kotlinResult = TypeResult(kotlinTypeId /* , "TODO", "TODO" */)