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