diff --git a/src/plugins/eva/utils/annot.ml b/src/plugins/eva/utils/annot.ml
index c76f56a10b120599ee0839662525552b9bc37e8f..219dce96d16cae73ec8b1998db669f65004a6a17 100644
--- a/src/plugins/eva/utils/annot.ml
+++ b/src/plugins/eva/utils/annot.ml
@@ -202,10 +202,10 @@ class evaluator request =
         DoChildren
 
     method private visit_expr e =
-      ignore @@ Cil.visitCilExpr (self :> Cil.cilVisitor) e
+      ignore @@ Visitor.visitFramacExpr (self :> visitor) e
 
     method private visit_offset ofs =
-      ignore @@ Cil.visitCilOffset (self :> Cil.cilVisitor) ofs
+      ignore @@ Visitor.visitFramacOffset (self :> visitor) ofs
 
     method private visit_host = function
       | Var _ -> ()