diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index c7da0c6548c02b080469381b1e60e959ba05ab2c..9d77d6ecb2d8a66cf7f851d2e658901dd79c14a6 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -578,7 +578,8 @@ let is_return_stmt kf stmt =
     false
 
 let is_entry_point kf =
-  String.equal (get_name kf) (Kernel.MainFunction.get ())
+  try equal kf (fst (Globals.entry_point ()))
+  with Globals.No_such_entry_point _ -> false
 
 let is_main kf =
   String.equal (get_name kf) "main"