Merge remote-tracking branch 'origin/lang_ext' into lang_ext

JetBrains · Mar 19, 2020 · 7eaa38b · 7eaa38b
2 parents be6a388 + 9858a5b
commit 7eaa38b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/meta/build.gradle.kts b/meta/build.gradle.kts
@@ -7,7 +7,7 @@ repositories {
 }
 
 dependencies {
-    implementation(files("../../Arend/build/libs/Arend-api-1.2.0.jar"))
+    implementation(files("../../Arend/api/build/libs/api-1.2.0.jar"))
     implementation("org.jetbrains:annotations:19.0.0")
 }