fix: Externs

aws · Nov 13, 2024 · 0bc1f96 · 0bc1f96
1 parent bdb6509
commit 0bc1f96
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/MutableMap.java b/StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/MutableMap.java
@@ -9,15 +9,14 @@
 import java.util.concurrent.*;
 
 public class MutableMap<K, V>
-  extends DafnyLibraries._ExternBase_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>();
   }
 

diff --git a/.../runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py b/.../runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py
@@ -23,7 +23,7 @@ def Unlock(self):
         self.lock.release()
 
 
-class MutableMap(smithy_dafny_standard_library.internaldafny.generated.DafnyLibraries.MutableMap):
+class MutableMap(smithy_dafny_standard_library.internaldafny.generated.DafnyLibraries.MutableMapTrait):
     def ctor__(self):
         pass