Update test expectation

informalsystems · Mar 22, 2024 · a43eaaa · a43eaaa
1 parent 2c67593
commit a43eaaa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)