Remove inaccurate comment about implementation detail.

tlaplus · May 17, 2024 · 9c13c11 · 9c13c11
1 parent f089d21
commit 9c13c11
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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) ==