Revision b38ffff3 src/backends/C/c_backend_common.ml
| src/backends/C/c_backend_common.ml | ||
|---|---|---|
| 1 |
(********************************************************************) |
|
| 2 |
(* *) |
|
| 3 |
(* The LustreC compiler toolset / The LustreC Development Team *) |
|
| 4 |
(* Copyright 2012 - -- ONERA - CNRS - INPT *) |
|
| 5 |
(* *) |
|
| 6 |
(* LustreC is free software, distributed WITHOUT ANY WARRANTY *) |
|
| 7 |
(* under the terms of the GNU Lesser General Public License *) |
|
| 8 |
(* version 2.1. *) |
|
| 9 |
(* *) |
|
| 10 |
(********************************************************************) |
|
| 11 |
|
|
| 1 | 12 |
open Format |
| 2 | 13 |
open LustreSpec |
| 3 | 14 |
open Corelang |
Also available in: Unified diff