dafny version conflict?

JetBrains-Research · Dec 16, 2024 · 9894ba7 · 9894ba7
1 parent 9f59960
commit 9894ba7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/149-sorted_list_sum.dfy b/149-sorted_list_sum.dfy
@@ -118,7 +118,6 @@ method sorted_list_sum(list: seq<string>) returns (sorted: seq<string>)
     {
         if |init[i]| % 2 == 0 {
             sorted := sorted + [init[i]];
-            assert multiset(sorted) <= multiset(init[0..i]);
             assert multiset(sorted) <= multiset(init[0..i + 1]); // assert-line
         } else {
             assert init[0..i + 1] == init[0..i] + [init[i]]; // assert-line