fix: MutableMap.java

dafny-lang · Nov 14, 2024 · 9ed496a · 9ed496a
1 parent 0b9ca63
commit 9ed496a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/MutableMap/MutableMap.java b/src/MutableMap/MutableMap.java
@@ -19,7 +19,6 @@ public class MutableMap<K, V> implements DafnyLibraries.MutableMapTrait<K, V> {
   private ConcurrentHashMap<K,V> m;
 
   public MutableMap(dafny.TypeDescriptor<K> _td_K, dafny.TypeDescriptor<V> _td_V) {
-    super(_td_K, _td_V);
     m = new ConcurrentHashMap<K,V>();
   }