Fix failing tests

informalsystems · Dec 18, 2024 · a137bb3 · a137bb3
1 parent 7bd5c32
commit a137bb3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -101,7 +101,7 @@ describe('toItf', () => {
           '#meta': {
             index: 0,
           },
-          a: 'U_OF_UNIT',
+          a: { tag: 'UNIT' },
         },
       ],
     }