Project

General

Profile

« Previous | Next » 

Revision ae08b9fc

Added by Pierre-Loïc Garoche about 5 years ago

[seal] delt with Merge and when
[printer] more kind2 syntax

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