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