Bump apalache to 0.46.1

informalsystems · Sep 24, 2024 · 4ff8b06 · 4ff8b06
1 parent 6061334
commit 4ff8b06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts
@@ -75,7 +75,7 @@ export function serverEndpointToConnectionString(endpoint: ServerEndpoint): stri
   return `${endpoint.hostname}:${endpoint.port}`
 }
 
-const APALACHE_VERSION_TAG = '0.45.6'
+const APALACHE_VERSION_TAG = '0.46.1'
 // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124
 // const APALACHE_TGZ = 'apalache.tgz'