From dca5cdbdec6fe0b32e627c52162f88f8231d861b Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Fri, 23 Aug 2024 13:15:24 +0200 Subject: [PATCH] Rename `soundness+wisteria.scala` --- .../{soundness+wisteria.scala => soundness+wisteria-core.scala} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/core/{soundness+wisteria.scala => soundness+wisteria-core.scala} (100%) diff --git a/src/core/soundness+wisteria.scala b/src/core/soundness+wisteria-core.scala similarity index 100% rename from src/core/soundness+wisteria.scala rename to src/core/soundness+wisteria-core.scala