From 8d395dee95035262ec24b4edca19460f3025b7a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Mon, 6 Nov 2023 12:31:11 +0100
Subject: [PATCH] using_kotlin.md: fix heading ID

---
 topics/tutorials/using_kotlin.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/topics/tutorials/using_kotlin.md b/topics/tutorials/using_kotlin.md
index b6cf4db35..049505747 100644
--- a/topics/tutorials/using_kotlin.md
+++ b/topics/tutorials/using_kotlin.md
@@ -84,6 +84,7 @@ See the <path>build.gradle.kts</path> from [kotlin_demo](%gh-sdk-samples%/kotlin
 {src="kotlin_demo/build.gradle.kts" include-lines="2-"}
 
 ### Kotlin Standard Library (stdlib)
+{id="kotlin-standard-library"}
 
 Since Kotlin 1.4, a dependency on the standard library _stdlib_ is added automatically ([API Docs](https://kotlinlang.org/api/latest/jvm/stdlib/)).
 In most cases, it is not necessary to include it in the plugin distribution as the platform already bundles it.