From 9c13c116cbcb4975c7d33ee7a71ba471b88687b2 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Fri, 17 May 2024 08:15:59 -0700 Subject: [PATCH] Remove inaccurate comment about implementation detail. --- modules/SequencesExt.tla | 2 -- 1 file changed, 2 deletions(-) diff --git a/modules/SequencesExt.tla b/modules/SequencesExt.tla index 60c3ef1..363d26f 100644 --- a/modules/SequencesExt.tla +++ b/modules/SequencesExt.tla @@ -42,8 +42,6 @@ SetToSortSeq(S, op(_,_)) == (* Convert a set to a sorted sequence that contains all the elements of *) (* the set exactly once, and contains no other elements. *) (**************************************************************************) - \* Not defined via CHOOSE like SetToSeq but with an additional conjunct, - \* because this variant works efficiently without a dedicated TLC override. SortSeq(SetToSeq(S), op) SetToAllKPermutations(S) ==