Project

General

Profile

Revision 9c654082 src/tools/stateflow/common/datatype.ml

View differences:

src/tools/stateflow/common/datatype.ml
39 39
  | Junction of junction_name_t * transitions_t
40 40
  | SFFunction of 'prog_t
41 41

  
42
type prog_t = Program of state_name_t * prog_t src_components_t list * LustreSpec.var_decl list
42
type prog_t = Program of state_name_t * prog_t src_components_t list * (LustreSpec.var_decl * LustreSpec.expr) list
43 43

  
44 44
type scope_t = Constant | Input | Local | Output | Parameter
45 45

  
......
159 159
    Format.fprintf fmt "Main node name: %s@ %a@ %a@"
160 160
      name
161 161
      (pp_src pp_sffunction) component_list
162
      pp_vars vars
162
      pp_vars (List.map fst vars)
163 163

  
164 164
  let pp_scope fmt src =
165 165
    Format.fprintf fmt (match src with

Also available in: Unified diff