Project

General

Profile

Revision bc504848 src/cocospec/kindLustreLexer.mll

View differences:

src/cocospec/kindLustreLexer.mll
485 485

  
486 486
  (* Keyword *)
487 487
  | id as p {
488
    (*Format.printf "seeking symbol '%s' @." p;*)
488 489
    try Hashtbl.find keyword_table p with Not_found -> (SYM p)
489 490
  }
490 491

  

Also available in: Unified diff