From d6f049b2820bd9ce9956c5d5e31f58404068bf58 Mon Sep 17 00:00:00 2001 From: Ennio Visconti Date: Sun, 16 Jun 2024 08:11:00 +0200 Subject: [PATCH] chore: minor cleanups --- build.gradle.kts | 2 +- src/main/resources/spec.nyt-flashes.kts | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/build.gradle.kts b/build.gradle.kts index 292fca1..aa8b2d4 100644 --- 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 index afed06c..1b1cd31 100644 --- 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)) )