Project

General

Profile

« Previous | Next » 

Revision 8446bf03

Added by Pierre-Loïc Garoche almost 4 years ago

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

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