Project

General

Profile

Revision 8446bf03 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
14 14
open Compiler_common
15 15

  
16 16
open Utils
17
open LustreSpec
17
open Lustre_types
18 18
 
19 19

  
20 20
let usage = "Usage: lustrec [options] \x1b[4msource file\x1b[0m"

Also available in: Unified diff