Project

General

Profile

Revision 333f42fd src/backends/EMF/EMF_common.ml

View differences:

src/backends/EMF/EMF_common.ml
48 48
  else
49 49
    fprintf fmt "%s" s
50 50
    
51
let pp_var_string fmt v = fprintf fmt "\"%s\"" v
51
let pp_var_string fmt v = print_protect fmt (fun fmt -> fprintf fmt "\"%s\"" v) 
52 52
let pp_var_name fmt v = print_protect fmt (fun fmt -> Printers.pp_var_name fmt v) 
53 53
(*let pp_node_args = fprintf_list ~sep:", " pp_var_name*)
54 54

  

Also available in: Unified diff