diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx index d41938397f604983f2f4833f340b2dd4a2218b3b..01e8d8472f2e83d7105546a7045320f967a16e7e 100644 --- a/ivette/src/frama-c/plugins/eva/valuetable.tsx +++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx @@ -190,7 +190,7 @@ function TableCell(props: TableCellProps) { const onClick = () => {}; return { label, onClick }; }); - if (items !== []) Dome.popupMenu(items); + if (items.length > 0) Dome.popupMenu(items); }) .catch((err) => console.log(err)); };