-
POTTIER Francois authored
(Makes no difference in practice, because formal parameters are already renamed elsewhere (PartialGrammar) and can never conflict with toplevel symbols.)
95841216
(Makes no difference in practice, because formal parameters are already renamed elsewhere (PartialGrammar) and can never conflict with toplevel symbols.)