diff --git a/src/kernel_services/ast_queries/filecheck.ml b/src/kernel_services/ast_queries/filecheck.ml
index af3f16c4a2766f9df561b3c5bf2ab20a4724e81a..b7555d419604369e32d10fe73658253cdc31e7d4 100644
--- a/src/kernel_services/ast_queries/filecheck.ml
+++ b/src/kernel_services/ast_queries/filecheck.ml
@@ -378,7 +378,7 @@ class check ?(is_normalized=true) what : Visitor.frama_c_visitor =
         self#pop_behavior_stack ();
         f
       in
-      Cil.ChangeDoChildrenPost(f,check)
+      Cil.DoChildrenPost check
 
     method private check_label s =
       let ok = List.exists (function Label _ -> true | _ -> false) !s.labels in