From 0e2e13cfb33b66e9306351a39905441940573656 Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Thu, 5 Sep 2024 17:20:03 -0300
Subject: [PATCH] Fix formatting

---
 quint/src/apalache.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts
index 6626dd2bd..dfd930eba 100644
--- a/quint/src/apalache.ts
+++ b/quint/src/apalache.ts
@@ -357,7 +357,7 @@ function downloadAndUnpackApalache(): Promise<ApalacheResult<null>> {
  *    - a `left<ApalacheError>` indicating an error.
  */
 async function fetchApalache(verbosityLevel: number): Promise<ApalacheResult<string>> {
-  const filename = process.platform === "win32" ? 'apalache-mc.bat' : 'apalache-mc'
+  const filename = process.platform === 'win32' ? 'apalache-mc.bat' : 'apalache-mc'
   const apalacheBinary = path.join(apalacheDistDir(), 'apalache', 'bin', filename)
   if (fs.existsSync(apalacheBinary)) {
     // Use existing download