Project

General

Profile

« Previous | Next » 

Revision fbad3c4b

Added by Pierre-Loïc Garoche about 7 years ago

[EMF] protect machine names

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