Project

General

Profile

Revision eccb3f63

View differences:

src/_tags.in
29 29
<**/main_lustre_testgen.native> : use_unix
30 30
<**/sf_sem.native>              : use_unix
31 31
<**/*.native>                   : package(num)
32
#<**/*.ml>                       : package(logs)
33
#<**/*.native>                   : package(logs)
32
<**/*.ml>                       : package(logs)
33
<**/*.native>                   : package(logs)
34 34
<**/json_parser.ml>             : package(yojson)
35 35
<**/main_parse_json_file.*>     : package(cmdliner)
36 36
<**/main_parse_json_file.*>     : package(fmt.tty)
src/lexer_lustre.mll
90 90
    let dummy_ns = { Lustre_types.requires = []; ensures = []; behaviors = []; spec_loc = Location.dummy_loc} in
91 91
    NODESPEC dummy_ns
92 92

  
93
let make_spec = make_kind_spec
93
(*let make_spec = make_kind_spec*)
94 94
}
95 95

  
96 96
let newline = ('\010' | '\013' | "\013\010")

Also available in: Unified diff