Project

General

Profile

Revision 7c79dd93 src/backends/EMF/EMF_backend.ml

View differences:

src/backends/EMF/EMF_backend.ml
379 379
      pp_emf_vars_decl m.mstep.step_outputs
380 380
      pp_emf_vars_decl m.mstep.step_locals
381 381
    ;
382
    fprintf fmt "\"original_name\": \"%s\",@ " m.mname.node_id;
382 383
    fprintf fmt "\"instrs\": {@[<v 0> %a@]@ }"
383 384
      (pp_emf_instrs m) instrs;
384 385
    fprintf fmt "@]@ }"

Also available in: Unified diff