Project

General

Profile

Revision 9f231bff src/backends/EMF/EMF_backend.ml

View differences:

src/backends/EMF/EMF_backend.ml
255 255
	(reset_name id)
256 256
    )
257 257
    
258
  | MBranch (_, [_, single_branch]) -> (
259
    pp_emf_instrs m fmt single_branch (* Single branch hack treated as regular instrs *)
260
  )
258 261
  | MBranch (g, hl) -> (
259 262
    let all_outputs, outputs, inputs = branch_instr_vars i in
260 263
    Format.eprintf "Mbranch %a@.vars: all_out: %a, out:%a, in:%a@.@."
......
332 335
and pp_emf_instrs m fmt instrs = fprintf_list ~sep:",@ " (pp_emf_instr m) fmt instrs
333 336
       
334 337
let pp_machine fmt m =
335
  let instrs = (* merge_branches *) m.mstep.step_instrs in
338
  let instrs = (*merge_branches*) m.mstep.step_instrs in
336 339
  try
337 340
    fprintf fmt "@[<v 2>\"%a\": {@ "
338 341
       print_protect (fun fmt -> pp_print_string fmt m.mname.node_id);

Also available in: Unified diff