diff --git a/ivette/src/frama-c/plugins/eva/model.ts b/ivette/src/frama-c/plugins/eva/model.ts
index 0f68b3c36b98b9a3e4ecf0ab0524508f713113e1..e2ecf1b76da36a346fbec42a58e9996dfaab70f4 100644
--- a/ivette/src/frama-c/plugins/eva/model.ts
+++ b/ivette/src/frama-c/plugins/eva/model.ts
@@ -127,10 +127,9 @@ export class Model implements ModelCallbacks {
     let selected = false;
     this.probes.forEach((p) => {
       if (p.fct === fct) {
+        p.setTransient();
         if (this.selected === p)
           selected = true;
-        if (!p.transient)
-          p.setTransient();
       }
     });
     if (selected)