Project

General

Profile

Revision e7cc5186 src/lusic.ml

View differences:

src/lusic.ml
44 44
    prog []
45 45

  
46 46
let check_obsolete lusic basename =
47
  if lusic.obsolete then raise (Error (Location.dummy_loc, Wrong_number basename))
47
  if lusic.obsolete then raise (Error (Location.dummy_loc, Error.Wrong_number basename))
48 48

  
49 49
(* encode and write a header in a file *)
50 50
let write_lusic lusi (header : top_decl list) basename extension =

Also available in: Unified diff