Merge branch 'martin-printer' into ck-printer

crytic · Jul 7, 2023 · 8a34cd4 · 8a34cd4
2 parents 5c6cfb8 + 6843d03
commit 8a34cd4
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/slither/utils/martin.py b/slither/utils/martin.py
@@ -133,10 +133,12 @@ def update_coupling(self) -> Dict:
                         new_external_call = high_level_call.destination.type
                     elif not hasattr(high_level_call.destination.type, "type"):
                         continue
-                    if isinstance(high_level_call.destination.type.type, Contract):
+                    elif isinstance(high_level_call.destination.type.type, Contract):
                         new_external_call = high_level_call.destination.type.type.name
-                    if isinstance(high_level_call.destination.type.type, str):
+                    elif isinstance(high_level_call.destination.type.type, str):
                         new_external_call = high_level_call.destination.type.type
+                    else:
+                        continue
                     new_external_calls.append(new_external_call)
                 external_calls.extend(new_external_calls)
             dependencies[contract.name] = set(external_calls)