Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/tools/stateflow/common/basetypes.ml | ||
---|---|---|
33 | 33 |
|
34 | 34 |
let pp_junction_name = Format.pp_print_string |
35 | 35 |
|
36 |
let pp_path fmt p = Utils.fprintf_list ~sep:"." pp_state_name fmt p |
|
36 |
let pp_path fmt p = |
|
37 |
Utils.Format.pp_print_list ~pp_sep:(fun fmt () -> Format.pp_print_string fmt ".") pp_state_name fmt p |
|
37 | 38 |
|
38 | 39 |
let pp_event fmt e = |
39 | 40 |
match e with |
Also available in: Unified diff
another step towards refactoring