diff --git a/ivette/src/frama-c/menu.ts b/ivette/src/frama-c/menu.ts
index 48edd9bc0ec89a87e5150d3ff1d45e38546d6a49..ea9e37c0a0137140f10c9755175da356e7508c72 100644
--- a/ivette/src/frama-c/menu.ts
+++ b/ivette/src/frama-c/menu.ts
@@ -46,6 +46,7 @@ async function setFiles(): Promise<void> {
   });
   await Server.send(Ast.setFiles, files);
   await Server.send(Ast.compute, { });
+  States.setSelection({fct: undefined});
   return;
 }