From 9894ba7feac100d75d4b8402616babe2d6accfa4 Mon Sep 17 00:00:00 2001
From: gt22 <igorengel@mail.ru>
Date: Mon, 16 Dec 2024 13:39:40 +0100
Subject: [PATCH] dafny version conflict?

---
 149-sorted_list_sum.dfy | 1 -
 1 file changed, 1 deletion(-)

diff --git a/149-sorted_list_sum.dfy b/149-sorted_list_sum.dfy
index e2f2a66..5140f79 100644
--- 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