From 327f2c8705d827f84d6e523a03566507331384e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 1 Dec 2020 09:37:51 +0100
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
src/kernel_services/ast_data/kernel_function.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index d59121e068f..e4097646564 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -578,7 +578,7 @@ let is_return_stmt kf stmt =
false
let is_entry_point kf =
- get_name kf = Kernel.MainFunction.get ()
+ String.equal (get_name kf) (Kernel.MainFunction.get ())
let is_main kf =
get_name kf = "main"
--
GitLab