From a43eaaa7c16ffa453fecc4aa68f0490b8f8563b3 Mon Sep 17 00:00:00 2001 From: bugarela Date: Fri, 22 Mar 2024 08:29:21 -0300 Subject: [PATCH] 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)