From b8c7e1d445deb173a6fd21a98963f361888ec7ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 22 Dec 2023 14:28:05 +0100
Subject: [PATCH] [eva] use frama-c visitors
---
src/plugins/eva/utils/annot.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/eva/utils/annot.ml b/src/plugins/eva/utils/annot.ml
index c76f56a10b1..219dce96d16 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 _ -> ()
--
GitLab