diff options
| author | msozeau | 2012-01-23 20:51:46 +0000 |
|---|---|---|
| committer | msozeau | 2012-01-23 20:51:46 +0000 |
| commit | 9d63bf75ffc312b367301dd66d2d6c3896fd71cf (patch) | |
| tree | d16ba6feaa3d310aef882cf81b9a479b7bdba21d /kernel | |
| parent | 5b37885260bc0c4e9d9ac45ce3ab861b5ed252a4 (diff) | |
Fix bug #2483: anomaly raised due to wrong handling of the evars state.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14942 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions