diff --git a/src/MutableMap/MutableMap.java b/src/MutableMap/MutableMap.java
index 304cd64d..9a3e06be 100644
--- 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>();
   }