Project

General

Profile

Revision e7cc5186 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
251 251
  | MComment of string
252 252

  
253 253

  
254
type error =
255
    Main_not_found
256
  | Main_wrong_kind
257
  | No_main_specified
258
  | Unbound_symbol of ident
259
  | Already_bound_symbol of ident
260
  | Unknown_library of ident
261
  | Wrong_number of ident
262

  
263 254
(* Local Variables: *)
264 255
(* compile-command:"make -C .." *)
265 256
(* End: *)

Also available in: Unified diff