diff --git a/ivette/src/frama-c/plugins/eva/probeinfos.tsx b/ivette/src/frama-c/plugins/eva/probeinfos.tsx
index 54fe12b1deac3369d0bda2aff4d88edca71b9f7c..e017c8cba3a9b6e52852eb38e2685659b7c7f21d 100644
--- a/ivette/src/frama-c/plugins/eva/probeinfos.tsx
+++ b/ivette/src/frama-c/plugins/eva/probeinfos.tsx
@@ -50,7 +50,7 @@ function ProbeEditor() {
   if (!probe || !probe.code) return null;
   const { label } = probe;
   const { code } = probe;
-  const { stmt, fct, marker } = probe;
+  const { stmt, marker } = probe;
   const { rank } = probe;
   const byCS = probe.byCallstacks;
   const stacks = model.getStacks(probe);
@@ -65,7 +65,7 @@ function ProbeEditor() {
       <div className="eva-probeinfo-code">
         <SizedArea cols={cols} rows={rows}>{code}</SizedArea>
       </div>
-      <Code><Stmt stmt={stmt} rank={rank} fct={fct} marker={marker} /></Code>
+      <Code><Stmt stmt={stmt} rank={rank} marker={marker} /></Code>
       <IconButton
         icon="ITEMS.LIST"
         className="eva-probeinfo-button"
diff --git a/ivette/src/frama-c/plugins/eva/valueinfos.tsx b/ivette/src/frama-c/plugins/eva/valueinfos.tsx
index 1dacf8242b734ef554f4f60a896d4f416dc98b37..8a0f04e8bef25e7b27e7aed309dd5908e321890a 100644
--- a/ivette/src/frama-c/plugins/eva/valueinfos.tsx
+++ b/ivette/src/frama-c/plugins/eva/valueinfos.tsx
@@ -53,7 +53,6 @@ const D = new Dome.Debug('Source Code');
 interface StmtProps {
   stmt?: string;
   rank?: number;
-  fct: string;
   marker: Ast.marker;
 }
 
@@ -147,7 +146,7 @@ export function StackInfos() {
         onDoubleClick={onDoubleClick}
       >
         {caller}
-        <Stmt stmt={stmt} rank={rank} fct={caller} marker={stmt} />
+        <Stmt stmt={stmt} rank={rank} marker={stmt} />
       </Cell>
     );
   };
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 50377b7977f6ff926598b3812eb402db3da06e68..6ac8445c329e308a07a65b34c68574133890e00e 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -118,12 +118,12 @@ function TableCell(props: TableCellProps) {
       if (transient) {
         contents = <span className="dome-text-label">« Probe »</span>;
       } else {
-        const { stmt, rank, code, label, fct } = probe;
+        const { stmt, rank, code, label } = probe;
         const textClass = label ? 'dome-text-label' : 'dome-text-cell';
         contents = (
           <>
             <span className={textClass}>{label ?? code}</span>
-            <Stmt stmt={stmt} rank={rank} fct={fct} marker={marker} />
+            <Stmt stmt={stmt} rank={rank} marker={marker} />
           </>
         );
       }