template: remove redundant

aya-prover · Nov 27, 2023 · a09ecb1 · a09ecb1
1 parent 449779d
commit a09ecb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/res/template/cli/build.gradle.kts.glavo-kala b/res/template/cli/build.gradle.kts.glavo-kala
@@ -21,6 +21,6 @@ val lexer = tasks.register<JFlexTask>("lexer") {
 
 val genVer = tasks.register<GenerateVersionTask>("genVer") {
   basePackage = "org.{| package |}"
-  outputDir = file(genDir).resolve("org/{| package |}/prelude")
+  outputDir = genDir.resolve("org/{| package |}/prelude")
 }
 listOf(tasks.sourcesJar, tasks.compileJava).forEach { it.configure { dependsOn(genVer, lexer) } }