diff options
| author | ppedrot | 2013-08-12 13:36:34 +0000 |
|---|---|---|
| committer | ppedrot | 2013-08-12 13:36:34 +0000 |
| commit | 7766935322266cb2e01d32e5e2827a6f92bc5078 (patch) | |
| tree | f89a40963c67d0bf5bfd5702fae1a6f670b4a533 /kernel | |
| parent | f41f7162a216547b073d4a7f239b14d9379337eb (diff) | |
Fixing potentially misused Errors.push.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16699 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions