From 4af38ac196aa850f24b8e07c292d4d2986838a23 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Mon, 6 Sep 2021 16:45:54 +0300
Subject: [PATCH] 1.6.1 -> 1.7

---
 arend.yaml            | 2 +-
 meta/build.gradle.kts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/arend.yaml b/arend.yaml
index c905fc7e..d2de8971 100644
--- a/arend.yaml
+++ b/arend.yaml
@@ -1,4 +1,4 @@
-langVersion: 1.6.1
+langVersion: 1.7
 sourcesDir: src
 testsDir: test
 binariesDir: bin
diff --git a/meta/build.gradle.kts b/meta/build.gradle.kts
index 2d6c06c0..b7916502 100644
--- a/meta/build.gradle.kts
+++ b/meta/build.gradle.kts
@@ -8,7 +8,7 @@ tasks.register<JavaExec>("cliCheck") {
     group = "verification"
     dependsOn(projectArend.task(":cli:jarDep"), tasks.named("classes"))
     main = "-jar"
-    val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.6.1-full.jar").absolutePath
+    val jarDepPath = projectArend.projectDir.resolve("cli/build/libs/cli-1.7.0-full.jar").absolutePath
     args(jarDepPath, "-tcr")
     workingDir(projectDir.parent)
 }