Project

General

Profile

Revision eccb3f63 src/lexer_lustre.mll

View differences:

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