-
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