[supervision] removed debug print when launching sim

2026-06-06 07:53:43 +08:00 · 2013-01-24 13:19:51 +01:00
parent 17c6cf2cac
commit e4e9d7e2dd
1 changed files with 0 additions and 1 deletions
@@ -170,7 +170,6 @@ let supervision = fun ?file gui log (ac_combo : Gtk_tools.combo) (target_combo :
        | _ -> sprintf "-a %s" ac_name
    in
    let sim_type = get_simtype target_combo in
-    prerr_endline sim_type;
    let args = get_args sim_type ac_name in
    run_and_monitor ?file gui log "Simulator" args
  in