Merge pull request #2312 from crytic/fix/example

Fix/example
crytic · Feb 17, 2024 · 9fa8e8e · 9fa8e8e
2 parents 82645a9 + f2f7598
commit 9fa8e8e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/scripts/possible_paths.py b/examples/scripts/possible_paths.py
@@ -19,7 +19,8 @@ def resolve_function(contract_name, function_name):
     contract = contracts[0]
     # Obtain the target function
     target_function = next(
-        (function for function in contract.functions if function.name == function_name), None
+        (function for function in contract.functions_declared if function.name == function_name),
+        None,
     )
 
     # Verify we have resolved the function specified.