diff --git a/build.gradle.kts b/build.gradle.kts
index 20a45bf13f..d7ac08e013 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -28,7 +28,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.theta"
-    version = "6.6.0"
+    version = "6.7.0"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }
diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
index 6553f36520..e1f5d87922 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
@@ -219,11 +219,11 @@ private fun backend(
             }
         }
 
-            logger.write(
-                Logger.Level.INFO, "Backend finished (in ${
-                    stopwatch.elapsed(TimeUnit.MILLISECONDS)
-                } ms)\n"
-            )
+        logger.write(
+            Logger.Level.INFO, "Backend finished (in ${
+                stopwatch.elapsed(TimeUnit.MILLISECONDS)
+            } ms)\n"
+        )
 
         logger.write(RESULT, result.toString() + "\n")
         result