Update Source/DafnyRuntime/DafnyRuntimePython/_dafny/__init__.py

Co-authored-by: Fabio Madge <[email protected]>
dafny-lang · Jan 23, 2025 · 2167e55 · 2167e55
1 parent a7c5a28
commit 2167e55
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Source/DafnyRuntime/DafnyRuntimePython/_dafny/__init__.py b/Source/DafnyRuntime/DafnyRuntimePython/_dafny/__init__.py
@@ -209,6 +209,7 @@ def __init__(self, iterable = None, isStr = False):
             self.elems = iterable
             self.len = len(iterable)
             self.isStr = isStr
+            return
         else:
             self.elems = iterable if isinstance(iterable, Concat) else (list(iterable) if iterable is not None else [])
             self.len = len(self.elems)