version bump

csanadtelbisz · Oct 19, 2024 · f20c96d · f20c96d
1 parent da25084
commit f20c96d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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