diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index bab00b1357657688099dc72c31e765e394355ecd..d0c3ac7a37378cb563dcb907b26abac3bb43ced6 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -5836,7 +5836,7 @@ let splitFunctionTypeVI (fvi: varinfo)
 
 let argsToPairOfLists args =
   List.partition
-    (fun (_,_,a) -> not(hasAttribute frama_c_ghost_formal a))
+    (fun f -> not(isGhostFormalVarDecl f))
     (argsToList args)
 
 let remove_attributes_for_integral_promotion a =