Project

General

Profile

Revision b38ffff3 src/parserLustreSpec.mly

View differences:

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