Code quality fix

runtimeverification · Oct 16, 2024 · b4ba6f5 · b4ba6f5
1 parent 685dcca
commit b4ba6f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kontrol/solc_to_k.py b/src/kontrol/solc_to_k.py
@@ -857,7 +857,7 @@ def process_references(bytecode: dict, target_lib_refs: dict, update_link_ranges
                 msig = method_sig_from_abi(method)
                 method_selector: str = str(evm['methodIdentifiers'][msig])
                 mid = int(method_selector, 16)
-                method_ast = function_asts[method_selector] if method_selector in function_asts else None
+                method_ast = function_asts[method_selector] if method_selector in function_asts else {}
                 method_devdoc = devdoc.get(msig)
                 method_calls = find_function_calls(method_ast, self.fields)
                 _m = Contract.Method(