diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index d59121e068f80c536cce5ef0c75dc704534a724e..e4097646564cf65b4aeb52dc38ef3444a252ee69 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"