Revision 74ca6b61 src/tools/stateflow/semantics/cPS_lustre_generator.ml
src/tools/stateflow/semantics/cPS_lustre_generator.ml | ||
---|---|---|
39 | 39 |
Format.fprintf fmt "%t" (fun fmt -> Utils.fprintf_list ~sep:", " (pp_path sin) fmt (ActiveStates.Vars.elements vars)) |
40 | 40 |
let pp_vars_decl sin fmt vars = |
41 | 41 |
Format.fprintf fmt "%t" (fun fmt -> Utils.fprintf_list ~sep:"; " (pp_typed_path sin) fmt (ActiveStates.Vars.elements vars)) |
42 |
|
|
42 |
|
|
43 | 43 |
let var_to_ident prefix p = |
44 | 44 |
pp_path prefix Format.str_formatter p; |
45 | 45 |
Format.flush_str_formatter () |
Also available in: Unified diff