From 4a88aa7f0760445aa1343319efa2051edaafb9c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 14 Mar 2023 09:56:02 +0100
Subject: [PATCH] [server] fix isFunDecl attribute
---
src/plugins/server/kernel_ast.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 43d62970c19..d737bb1bfab 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -321,8 +321,7 @@ struct
| None -> false
let is_fundecl = function
- | PGlobal (GFun _ | GFunDecl _) -> true
- | PGlobal (GVar (vi, _, _) | GVarDecl (vi, _)) -> Globals.Functions.mem vi
+ | PVDecl(Some _,Kglobal,vi) -> vi.vglob && Globals.Functions.mem vi
| _ -> false
let scope tag =
--
GitLab