diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 7cbb17cc6a..8bcc4197f4 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -34,7 +34,7 @@ z3-turnkey = { module = "tools.aqua:z3-turnkey", version = "4.12.1" } [plugins] dokka = { id = "org.jetbrains.dokka", version = "1.8.20" } git-version = { id = "com.palantir.git-version", version = "3.0.0" } -jflex = { id = "org.xbib.gradle.plugin.jflex", version = "1.7.0" } +jflex = { id = "org.xbib.gradle.plugin.jflex", version = "3.0.2" } kotlin-jvm = { id = "org.jetbrains.kotlin.jvm", version.ref = "kotlin" } kotlin-multiplatform = { id = "org.jetbrains.kotlin.multiplatform", version.ref = "kotlin" } kotlin-serialization = { id = "org.jetbrains.kotlin.plugin.serialization", version.ref = "kotlin" }