Extraction: unfolds the let-in created by Program when handling "match"

 This leads to code closer to the original input of the user,
 and moreover some more dummy __ may be removed this way.

 To avoid unfolding by mistake user's variables, we change
 the name of these generated let-in into "program_branch_NN" instead
 of "branch_NN"

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13964 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions