diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
index fede8dc75f586e54ea148ed53db04eb204d2e6d2..b6a4ff862641224a20d7eb7ef5058843178db49d 100644
--- a/src/plugins/eva/api/general_requests.ml
+++ b/src/plugins/eva/api/general_requests.ml
@@ -378,12 +378,12 @@ module LvalueTaints = struct
     method! vlval lval =
       let expr = expr_of_lval lval in
       match self#current_stmt with
-      | None -> DoChildren
+      | None -> Cil.DoChildren
       | Some stmt ->
         match Results.after stmt |> EvaTaints.evaluate expr with
         | Some (Results.Untainted, _) -> DoChildren
-        | Some (t, _) -> Table.add taints lval (Kstmt stmt, t) ; DoChildren
-        | None -> DoChildren
+        | Some (t, _) -> Table.add taints lval (Kstmt stmt, t) ; Cil.DoChildren
+        | None -> Cil.DoChildren
   end
 
   let get_tainted_lvals fundec =