From f17eb291417fdfd0f8a7ec518ffa2a88ccf4fb42 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 27 Sep 2019 15:19:56 +0200
Subject: [PATCH] [archi] fix is_main

---
 src/plugins/e-acsl/src/code_generator/injector.ml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index ef8f10fbf54..df801c571ad 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 *)
-- 
GitLab