Project

General

Profile

Revision ae08b9fc src/tools/zustre/zustre_common.ml

View differences:

src/tools/zustre/zustre_common.ml
54 54

  
55 55
let get_const_sort = Hashtbl.find const_sorts 
56 56
let get_sort_elems = Hashtbl.find sort_elems
57
let get_tag_sort = Hashtbl.find const_tags
57
let get_tag_sort id = try Hashtbl.find const_tags id with _ -> Format.eprintf "Unable to find sort for tag=%s@." id; assert false
58 58
  
59 59

  
60 60
  

Also available in: Unified diff