Project

General

Profile

Revision 9c654082 src/tools/stateflow/sf_sem.ml

View differences:

src/tools/stateflow/sf_sem.ml
63 63
  | GenLus ->
64 64
     let module Model = (val model) in
65 65
     let state_vars = Datatype.SF.states Model.model in
66
     let global_vars = Datatype.SF.global_vars Model.model in
66
     let global_vars =
67
       List.map (fun (v,e) -> {Basetypes.GlobalVarDef.variable = v; init_val = e;})
68
	 (Datatype.SF.global_vars Model.model) in
67 69
     
68 70
     let module T = CPS_lustre_generator.LustrePrinter (struct
69 71
       let state_vars = state_vars

Also available in: Unified diff