diff --git a/ivette/src/frama-c/plugins/eva/DomainStates.tsx b/ivette/src/frama-c/plugins/eva/DomainStates.tsx index 4e6015bdd54c01ba14f1be35e528b53f2fdc9ce4..dab3218c24ad0398e44e8b525e703ed1508fcf7b 100644 --- a/ivette/src/frama-c/plugins/eva/DomainStates.tsx +++ b/ivette/src/frama-c/plugins/eva/DomainStates.tsx @@ -45,7 +45,8 @@ export function EvaStates(): JSX.Element { const [stateAfter, setStateAfter] = React.useState(""); const [filter, setFilter] = useGlobalState(globalFilter); - const states = States.useRequest(Eva.getStates, [marker, filter]); + const requestArg = marker ? [marker, filter] : undefined; + const states = States.useRequest(Eva.getStates, requestArg); React.useEffect(() => { if (states && states.length > 0) {