let degeneration_occurred _ki _lv =
(*
Db.Value.mark_as_computed ();
ignore (GtkMain.Main.init ());
let app = new Design.main_window () in
app#main_window#set_title "Degeneration Occurred";
ignore
(Glib.Idle.add ~prio:1000
(fun () ->
let localizable =
(match ki,lv with
| Kstmt st, Some lv ->
let kf = Kernel_function.find_englobing_kf st in
select_kf app#file_tree kf;
PLval(Some kf,ki,lv)
| Kstmt st, None ->
let kf = Kernel_function.find_englobing_kf st in
select_kf app#file_tree kf;
PStmt(kf,st)
| Kglobal, Some lv ->
PLval(None,ki,lv)
| Kglobal, None -> assert false)
in
to_do_on_select
(new GMenu.factory (GMenu.menu ()))
app
1
localizable;
DegeneratedHighlighted.set localizable;
app#rehighlight ();
app#scroll localizable
(*match ki with
| Kstmt st ->
let l = (Cil_datatype.Stmt.loc st.skind) in
select_locs ~file:l.file ~line:l.line app#source_viewer
| _ -> ()*);
false(*do it once only*)));
GMain.Main.main ();
*)
ignore (raise Db.Value.Aborted)