diff --git a/ivette/src/frama-c/plugins/callgraph/index.tsx b/ivette/src/frama-c/plugins/callgraph/index.tsx index 55c4f32eee5175dc66b1b044a0cea3a73739c3d7..b76826c02d423ffba9f462334befc0b829a4dcd1 100644 --- a/ivette/src/frama-c/plugins/callgraph/index.tsx +++ b/ivette/src/frama-c/plugins/callgraph/index.tsx @@ -67,6 +67,7 @@ function getWidth(node: any): string { } return `${min}px`; } +/* eslint-enable @typescript-eslint/no-explicit-any */ (style as unknown[]).push({ selector: 'node', @@ -192,7 +193,6 @@ function CallgraphComponent(): JSX.Element { // Component return ( <> - <Ivette.TitleBar /> <Callgraph /> </> );