let dot_trans out tr =
  let print_label fmt tr = 
    if DotSeparatedLabels.get () then 
      Format.pp_print_int fmt tr.numt 
    else print_trans fmt tr
  in
  Format.fprintf
    out
    "\"%a\"@ ->@ \"%a\"@ [label = @[\"%a\"@]];@\n"
    print_state_label tr.start
    print_state_label tr.stop
    print_label tr