From a137bb32f9b0f771ce45ee5496cd0bb71d367148 Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Wed, 18 Dec 2024 09:19:42 -0300
Subject: [PATCH] Fix failing tests

---
 quint/apalache-tests.md | 2 +-
 quint/test/itf.test.ts  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/quint/apalache-tests.md b/quint/apalache-tests.md
index 94043605f..b081a0a5c 100644
--- a/quint/apalache-tests.md
+++ b/quint/apalache-tests.md
@@ -254,7 +254,7 @@ VARIABLE
 A == Variant("A", [tag |-> "UNIT"])
 
 (*
-  @type: ((Int) => A({ tag: Str })) | B(Int));
+  @type: ((Int) => A({ tag: Str }) | B(Int));
 *)
 B(__BParam_31) == Variant("B", __BParam_31)
 
diff --git a/quint/test/itf.test.ts b/quint/test/itf.test.ts
index 03d490211..f8305e78c 100644
--- a/quint/test/itf.test.ts
+++ b/quint/test/itf.test.ts
@@ -101,7 +101,7 @@ describe('toItf', () => {
           '#meta': {
             index: 0,
           },
-          a: 'U_OF_UNIT',
+          a: { tag: 'UNIT' },
         },
       ],
     }