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