Project

General

Profile

« Previous | Next » 

Revision 2fdbc781

Added by Pierre-Loïc Garoche about 8 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