fix: MutableMap drop SelectOpt

dafny-lang · Nov 14, 2024 · 7f612b0 · 7f612b0
1 parent 7af1ae1
commit 7f612b0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/examples/MutableMap/MutableMapExamples.dfy b/examples/MutableMap/MutableMapExamples.dfy
@@ -57,8 +57,6 @@ module {:options "-functionSyntax:4"} MutableMapExamples {
     print m.Select("testkey2"), "\n";
 
     m.Remove("testkey");
-    AssertAndExpect(m.SelectOpt("testkey").None?);
-    AssertAndExpect(m.SelectOpt("testkey2").Some? && m.SelectOpt("testkey2").value == "testvalue2");
     AssertAndExpect(m.Keys() == {"testkey2"});
     AssertAndExpect(m.Values() == {"testvalue2"});
     AssertAndExpect(m.Items() == {("testkey2", "testvalue2")});