Project

General

Profile

Revision 74ca6b61 src/tools/stateflow/semantics/cPS_lustre_generator.ml

View differences:

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