Project

General

Profile

Revision c82ea2ca src/backends/EMF/EMF_backend.ml

View differences:

src/backends/EMF/EMF_backend.ml
329 329
  fprintf fmt "@ @]},@ "
330 330
    
331 331
let translate fmt basename prog machines =
332
  (* record_types prog; *)
332 333
  fprintf fmt "@[<v 0>{@ ";
333 334
  pp_meta fmt basename;
334 335
  fprintf fmt "\"nodes\": @[<v 0>{@ ";

Also available in: Unified diff