From b38ed803cc4e07e98a2ce9d5d71d0c2f6063dfab Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Tue, 12 Dec 2023 22:24:29 -0800
Subject: [PATCH] Fix Kotlin instructions

---
 docs/developer/release/README-release-process.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/docs/developer/release/README-release-process.html b/docs/developer/release/README-release-process.html
index 8b6ab6d760c..581980ab164 100644
--- a/docs/developer/release/README-release-process.html
+++ b/docs/developer/release/README-release-process.html
@@ -315,15 +315,15 @@ <h4 id="using_snapshot_release_gradle_kotlin">Gradle Kotlin (<code>build.gradle.
   to use the snapshot version of the Checker Framework:
 
   <pre>
-ext.checkerFrameworkVersion = '3.41.1-SNAPSHOT'
+val checkerFrameworkVersion = "3.41.1-SNAPSHOT"
 dependencies {
-  compileOnly "org.checkerframework:checker-qual:${checkerFrameworkVersion}"
-  testCompileOnly "org.checkerframework:checker-qual:${checkerFrameworkVersion}"
-  checkerFramework "org.checkerframework:checker:${checkerFrameworkVersion}"
+   compileOnly("org.checkerframework:checker-qual:${checkerFrameworkVersion}")
+   testCompileOnly("org.checkerframework:checker-qual:${checkerFrameworkVersion}")
+   checkerFramework("org.checkerframework:checker:${checkerFrameworkVersion}")
 }
-configurations.all {
-  resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
-}</pre>
+configurations.all({
+   resolutionStrategy.cacheChangingModulesFor(0, "seconds")
+})</pre>
 
   <h4 id="using_snapshot_release_maven">Maven (<code>pom.xml</code> file)</h4>