Project

General

Profile

Revision 9c654082 src/tools/stateflow/semantics/cPS.ml

View differences:

src/tools/stateflow/semantics/cPS.ml
8 8

  
9 9
module Prog =
10 10
struct
11
  let init, defs, state_vars =
11
  let init, defs, state_vars, globals =
12 12
    let Program (init, defs, globals) = M.model in
13 13
    let state_vars = SF.states M.model in
14
    init, defs, state_vars
14
    init, defs, state_vars, globals
15 15

  
16 16
(*let _ = Format.printf "Model definitions@.%a@.####" Simulink.pp_src defs; () *)
17 17
end

Also available in: Unified diff