diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx index 1a6b90c4e2461462afe312c947c1975e27f733ba..cee66e33d4c3062a2e6c4e3fe1f19d2a6f28d053 100644 --- a/ivette/src/frama-c/kernel/Globals.tsx +++ b/ivette/src/frama-c/kernel/Globals.tsx @@ -122,7 +122,7 @@ function List(props: ListProps): JSX.Element { let contents; - if (count <= 0) { + if (count <= 0 && total > 0) { contents = <div className='dome-xSideBarSection-content'> <label className='globals-info'>