Fix formatting

informalsystems · Sep 5, 2024 · 0e2e13c · 0e2e13c
1 parent c858e14
commit 0e2e13c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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