~jgross-h/coq/v8.2

Viewing all changes in revision 10131.

  • Committer: Hugo Herbelin
  • Date: 2016-01-13 09:29:29 UTC
  • Revision ID: git-v1:cf8aa246eb8977f35534db4636c892e767ba35ed
v8.2: Fix for #4467 (missing shadowing of variables in cases pattern).

Backported from v8.4.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: