chore: minor cleanups

ennioVisco · Jun 16, 2024 · d6f049b · d6f049b
1 parent e91d7ac
commit d6f049b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -18,7 +18,7 @@ group = PROJECT_GROUP
 plugins {
     // Environment
     id("me.filippov.gradle.jvm.wrapper") version "0.14.0"
-    kotlin("jvm") version "2.0.0-RC2"
+    kotlin("jvm") version "2.0.0"
 
     // GUI
     id("org.openjfx.javafxplugin") version "0.1.0"

diff --git a/src/main/resources/spec.nyt-flashes.kts b/src/main/resources/spec.nyt-flashes.kts
@@ -30,6 +30,6 @@ val stocksHidden = Spec.atoms[0]
 // Final formula
 Spec.formula = screen and not(stocksHidden) implies
         not(
-            eventually(stocksHidden) within (Interval(0, 1))
-                    and (eventually(not(stocksHidden)) within (Interval(0, 1)))
+            eventually(stocksHidden) within Interval(0, 1)
+                    and (eventually(not(stocksHidden)) within Interval(0, 1))
         )