Project

General

Profile

« Previous | Next » 

Revision 2fdbc781

Added by Pierre-Loïc Garoche about 5 years ago

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

View differences:

src/lustreSpec.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
open Format
13

  
14 12
type ident = Utils.ident
15 13
type rat = Utils.rat
16 14
type tag = Utils.tag

Also available in: Unified diff