Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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