Project

General

Profile

Revision 8446bf03 src/features/machine_types/machine_types.ml

View differences:

src/features/machine_types/machine_types.ml
37 37
     propager les types machines aux variables fraiches creees par la normalisation
38 38

  
39 39
*)
40
open LustreSpec
40
open Lustre_types
41 41

  
42 42
let is_active = false
43 43
  

Also available in: Unified diff