Project

General

Profile

Revision 04a188ec src/parsers/lexer_lustre.mll

View differences:

src/parsers/lexer_lustre.mll
91 91
  with LexerLustreSpec.Error loc -> raise (Parse.Error (Location.shift orig_loc loc, Parse.Annot_error s))
92 92

  
93 93
let make_spec orig_loc lexbuf s = 
94
  Format.eprintf "make spec loc %a" Location.pp_loc orig_loc;
95 94
  try
96 95
    Location.push_loc orig_loc;	
97 96
    let ns = LexerLustreSpec.spec s in

Also available in: Unified diff