Commit f17eb291 authored by Julien Signoles's avatar Julien Signoles
Browse files

[archi] fix is_main

parent 15aaf8d3
......@@ -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 *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment