diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index 33596c69c8e5241cccc741526d5240e4be614102..c1d9f6dcc9a554640ead9eb1b95028bd2edda93b 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -431,7 +431,7 @@ async function _launch() {
     env,
   };
   // Launch Process
-  const process = await System.spawn(command, params, options);
+  process = await System.spawn(command, params, options);
   const logger = (text: string | string[]) => {
     buffer.append(text);
     if (text.indexOf('\n') >= 0) {