Project

General

Profile

Revision b06b7b77 src/tools/stateflow/common/datatype.ml

View differences:

src/tools/stateflow/common/datatype.ml
83 83

  
84 84
  let init_env model = ActiveStates.Env.from_set (states model) false
85 85

  
86
  let global_vars (_, _, env) = env
86
  let global_vars (Program (_, _, env)) = env
87 87

  
88 88
  (* Printers *)
89 89

  

Also available in: Unified diff