From 11fcd96869d61409d1f8958fed4f1cd1d3bb010f Mon Sep 17 00:00:00 2001
From: Gabriela Moreira <gabrielamoreira05@gmail.com>
Date: Tue, 19 Mar 2024 17:37:43 -0300
Subject: [PATCH 1/4] Apply suggestions from code review

---
 quint/apalache-tests.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/quint/apalache-tests.md b/quint/apalache-tests.md
index 5517ca4b7..fc021999c 100644
--- a/quint/apalache-tests.md
+++ b/quint/apalache-tests.md
@@ -226,7 +226,7 @@ An example execution:
 
 <!-- !test in can convert ApalacheCompliation.qnt to TLA+ -->
 ```
-quint compile --target tlaplus  ./testFixture/ApalacheCompilation.qnt
+quint compile --target tlaplus ./testFixture/ApalacheCompilation.qnt
 ```
 
 <!-- !test out can convert ApalacheCompliation.qnt to TLA+ -->
@@ -262,7 +262,7 @@ init ==
 ================================================================================
 ```
 
-### Test that we can compile a module to TLA+ that instantiates but has not declarations
+### Test that we can compile a module to TLA+ that instantiates but has no declarations
 
 
 <!-- !test in can convert clockSync3.qnt to TLA+ -->

From 0a8baa60016c9576bdcb3e7306a6ea47307f09bf Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Wed, 20 Mar 2024 09:01:13 -0300
Subject: [PATCH 2/4] Bump apalache version

---
 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 a382957a8..b22b2c270 100644
--- a/quint/src/apalache.ts
+++ b/quint/src/apalache.ts
@@ -39,7 +39,7 @@ import type { Buffer } from 'buffer'
 import type { PackageDefinition as ProtoPackageDefinition } from '@grpc/proto-loader'
 
 const APALACHE_SERVER_URI = 'localhost:8822'
-const APALACHE_VERSION_TAG = '0.44.7'
+const APALACHE_VERSION_TAG = '0.44.8'
 // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124
 // const APALACHE_TGZ = 'apalache.tgz'
 

From 2c6759341985d85b2ff6982f4058587458a1c0bb Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Fri, 22 Mar 2024 08:29:09 -0300
Subject: [PATCH 3/4] Bump Apalache version again

---
 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 b22b2c270..83122e045 100644
--- a/quint/src/apalache.ts
+++ b/quint/src/apalache.ts
@@ -39,7 +39,7 @@ import type { Buffer } from 'buffer'
 import type { PackageDefinition as ProtoPackageDefinition } from '@grpc/proto-loader'
 
 const APALACHE_SERVER_URI = 'localhost:8822'
-const APALACHE_VERSION_TAG = '0.44.8'
+const APALACHE_VERSION_TAG = '0.44.9'
 // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124
 // const APALACHE_TGZ = 'apalache.tgz'
 

From a43eaaa7c16ffa453fecc4aa68f0490b8f8563b3 Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Fri, 22 Mar 2024 08:29:21 -0300
Subject: [PATCH 4/4] Update test expectation

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

diff --git a/quint/apalache-tests.md b/quint/apalache-tests.md
index fc021999c..e4ff60b30 100644
--- a/quint/apalache-tests.md
+++ b/quint/apalache-tests.md
@@ -237,7 +237,7 @@ EXTENDS Integers, Sequences, FiniteSets, TLC, Apalache, Variants
 
 VARIABLE x
 
-A == Variant("A", <<>>)
+A == Variant("A", "U_OF_UNIT")
 
 B(__BParam_27) == Variant("B", __BParam_27)