From 8d600d61876d85df940b93061a2c0ac78fae5b5a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 30 Nov 2020 18:10:26 +0100
Subject: [PATCH] [server] materialize main function in signature
---
src/plugins/server/kernel_ast.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index d10b6679b0e..c69abdd308a 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -359,7 +359,7 @@ struct
if not libc then Kernel.PrintLibc.set true ;
let txt = Rich_text.to_string Printer_tag.pretty (PGlobal global) in
if not libc then Kernel.PrintLibc.set false ;
- if Kernel_function.is_main kf then (txt ^ " /* main */") else txt
+ if Kernel_function.is_entry_point kf then (txt ^ " /* main */") else txt
with err ->
if not libc then Kernel.PrintLibc.set false ; raise err
--
GitLab