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