Project

General

Profile

Revision fbad3c4b src/backends/EMF/EMF_backend.ml

View differences:

src/backends/EMF/EMF_backend.ml
334 334
let pp_machine fmt m =
335 335
  let instrs = merge_branches m.mstep.step_instrs in
336 336
  try
337
    fprintf fmt "@[<v 2>\"%s\": {@ "
338
      m.mname.node_id;
337
    fprintf fmt "@[<v 2>\"%a\": {@ "
338
       print_protect (fun fmt -> pp_print_string fmt m.mname.node_id);
339 339
    fprintf fmt "\"kind\": %t,@ \"inputs\": [%a],@ \"outputs\": [%a],@ \"locals\": [%a],@ "
340 340
      (fun fmt -> if not ( snd (get_stateless_status m) )
341 341
	then fprintf fmt "\"stateful\""

Also available in: Unified diff