Project

General

Profile

Revision 8446bf03 src/tools/stateflow/models/model_simple.ml

View differences:

src/tools/stateflow/models/model_simple.ml
1 1
open Datatype
2
open Basetypes
2 3
open SF
3 4

  
4 5
let name = "simple"
5 6

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

Also available in: Unified diff