let open_file select_init_env file =
try
let env = () in
let _graph = V.open_dot_file env select_init_env file in
()
with ViewGraph.DotError cmd ->
GToolbox.message_box "Error"
(Printf.sprintf
"%s failed\nDidn't succed to build graph for %s\nSorry !" cmd file)