Skip to content
  • Erwan Jahier's avatar
    lurette 1.24 Thu, 11 Mar 2004 15:19:19 +0100 by jahier · fa741106
    Erwan Jahier authored
    Parent-Version:      1.23
    Version-Log:
    
    source/lustreExp.ml:
       use a map indexed by the var name instead of a list of
       variables as the search in such a list is done very often
       during the type checking.
    
    Project-Description: Lurette
    fa741106