Skip to content
Snippets Groups Projects
Commit b8c7e1d4 authored by Loïc Correnson's avatar Loïc Correnson Committed by David Bühler
Browse files

[eva] use frama-c visitors

parent 1e2792ed
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/eva/utils/annot.ml
+ 2
− 2
View file @ b8c7e1d4
...@@ -202,10 +202,10 @@ class evaluator request = ...@@ -202,10 +202,10 @@ class evaluator request =
DoChildren DoChildren
method private visit_expr e = method private visit_expr e =
ignore @@ Cil.visitCilExpr (self :> Cil.cilVisitor) e ignore @@ Visitor.visitFramacExpr (self :> visitor) e
method private visit_offset ofs = method private visit_offset ofs =
ignore @@ Cil.visitCilOffset (self :> Cil.cilVisitor) ofs ignore @@ Visitor.visitFramacOffset (self :> visitor) ofs
method private visit_host = function method private visit_host = function
| Var _ -> () | Var _ -> ()
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment