Project

General

Profile

Revision 9f158b2b src/backends/EMF/EMF_common.ml

View differences:

src/backends/EMF/EMF_common.ml
60 60
  else
61 61
    fprintf fmt "%s" s
62 62
    
63
let pp_var_string fmt v = print_protect fmt (fun fmt -> fprintf fmt "%s" v) 
63
let pp_var_string fmt v =fprintf fmt "\"%t\"" (fun fmt -> print_protect fmt (fun fmt -> fprintf fmt "%s" v)) 
64 64
let pp_var_name fmt v = print_protect fmt (fun fmt -> Printers.pp_var_name fmt v) 
65 65
(*let pp_node_args = fprintf_list ~sep:", " pp_var_name*)
66 66

  

Also available in: Unified diff