Parent-Version:      1.25
Version-Log:

source/parse_luc.ml:
   Check that 2 vars are not defined twice.

source/parse_luc.ml:
source/lustreExp.ml:
source/var.ml:
   Rename local vars to avoid clashed if 2 automata uses common
   local var names.

Project-Description: Lurette