fix merge error

KeYProject · Dec 6, 2024 · b7dc229 · b7dc229
1 parent 31cf49c
commit b7dc229
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/build.gradle b/build.gradle
@@ -30,11 +30,12 @@ plugins {
 }
 
 sonar {
-  properties {
-    property "sonar.projectKey", "KeYProject_key"
-    property "sonar.organization", "keyproject"
-    property "sonar.host.url", "https://sonarcloud.io"
-  }
+    properties {
+        property "sonar.projectKey", "KeYProject_key"
+        property "sonar.organization", "keyproject"
+        property "sonar.host.url", "https://sonarcloud.io"
+    }
+}
 
 // Configure this project for use inside IntelliJ:
 idea {