diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index f62f1ddbb9490896d772686df20c27c35859e1e2..bcf75c5cc0436d112db9366b0e4561ba4a404e72 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -151,7 +151,7 @@ let compute () =
               with Not_found ->
                 Kernel.fatal "No kernel function for function %a"
                   Cil_datatype.Varinfo.pretty fd.svar)
-           | GVar _ -> Cil.DoChildren
+           | GVar _ -> Cil.SkipChildren
            | _ -> Cil.SkipChildren
          method! vinst _ = SkipChildren
          method! vexpr _ = SkipChildren