Skip to content
Snippets Groups Projects
Commit b87be486 authored by Frederik Hennig's avatar Frederik Hennig
Browse files

always include cstdint for kernels

parent 73ead40a
1 merge request!17Improved Source File and Code Structure Modelling
Pipeline #73678 passed with stages
in 2 minutes and 34 seconds
......@@ -73,9 +73,11 @@ def collect_includes(file: SfgSourceFile) -> set[HeaderFile]:
case SfgEntityDef(entity):
match entity:
case SfgKernelHandle(kernel, _):
return set(
HeaderFile.parse(h) for h in kernel.required_headers
) | visit_decl(entity)
return (
set(HeaderFile.parse(h) for h in kernel.required_headers)
| {HeaderFile.parse("<cstdint>")}
| visit_decl(entity)
)
case SfgFunction(_, tree, _) | SfgMethod(_, tree, _):
return walk_syntax(tree) | visit_decl(entity)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment