From 9edc0b6218e3bcc28fb0090a7db63b6b2f0a3759 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 3 Oct 2019 18:03:57 +0200
Subject: [PATCH] [Kernel] argsToPairOfLists uses "isGhostFormalVarDecl"
---
src/kernel_services/ast_queries/cil.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index bab00b13576..d0c3ac7a373 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 =
--
GitLab