Merge pull request #650 from enzbang/ramonat-fix-trie-type-error

Modify Trie code to avoid a mypy error
AdaCore · Oct 31, 2023 · e4d01e6 · e4d01e6
2 parents 7f5765c + 527dc1d
commit e4d01e6
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/e3/collection/trie.py b/src/e3/collection/trie.py
@@ -100,8 +100,10 @@ def match(self, word: str, delimiter: str | None = None) -> bool:
             if self.END_MARKER in cursor and (not delimiter or letter in delimiter):
                 return True
             else:
-                cursor = cursor.get(letter, None)
-                if cursor is None:
+                new_cursor = cursor.get(letter, None)
+                if new_cursor is None:
                     return False
+                else:
+                    cursor = new_cursor
 
         return self.END_MARKER in cursor