diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index ef8f10fbf548c602d48207b183f1f4caf1f3b997..df801c571adccb44e3898a3b0c4e082a4e2e7d56 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.ml
+++ b/src/plugins/e-acsl/src/code_generator/injector.ml
@@ -25,12 +25,9 @@ open Cil_datatype
 
 let dkey = Options.dkey_translation
 
+(* [TODO ARCHI] move it in another module *)
 let is_main kf =
-  try
-    let main, _ = Globals.entry_point () in
-    Kernel_function.equal kf main
-  with Globals.No_such_entry_point _s ->
-    false
+  Datatype.String.equal (Kernel_function.get_name kf) "main"
 
 (* ************************************************************************** *)
 (* Code *)