diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts index 94ccba06ede83ea5138782453bd45370a351962d..e0515681e67ad61d75bc699cc26c539f0f19abc6 100644 --- a/ivette/src/frama-c/states.ts +++ b/ivette/src/frama-c/states.ts @@ -178,7 +178,7 @@ export function useRequest(rq: string, params: any, options: any = {}) { const footprint = project ? JSON.stringify([project, rq, params]) : undefined; async function trigger() { - if (project && rq && params) { + if (project && rq && params !== undefined) { try { const r = await Server.GET({ endpoint: rq, params }); setResponse(r);