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/backends/EMF/EMF_backend.ml
98 98

  
99 99
*)
100 100

  
101
open LustreSpec
101
open Lustre_types
102
open Machine_code_types
102 103
open Machine_code
103 104
open Format 
104 105
open EMF_common

Also available in: Unified diff