Project

General

Profile

Revision 3769b712 src/tools/stateflow/models/model_simple.ml

View differences:

src/tools/stateflow/models/model_simple.ml
5 5
let name = "simple"
6 6

  
7 7
let condition x = condition {
8
  expr = Corelang.mkexpr Location.dummy_loc (Lustre_types.Expr_const (Corelang.const_of_bool true));
8
  expr = Lustrec.Corelang.mkexpr Lustrec.Location.dummy_loc (Lustrec.Lustre_types.Expr_const (Lustrec.Corelang.const_of_bool true));
9 9
  cinputs = [];
10 10
  coutputs = [];
11 11
  cvariables = [];

Also available in: Unified diff