Revision 333f42fd
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