diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-10-12 23:34:49 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-10-12 23:34:49 +0000 |
| commit | b57991c34dfc88820eee14e2962aa0833cbc3fe9 (patch) | |
| tree | 800bbdf7339d7f17e915999cd84616d61b87fa77 /tools/coqdep_boot.ml | |
| parent | ce7054e5eb47c5bf2bc569ef7af1b90fa7a00bca (diff) | |
Temporary revert commit 14550 since it breaks a few contribs
Interestingly, it appears that the Not_found in heads.ml is actually
triggered in some contribs, but catched. Maybe a "try" tactical ?
Are these Not_found another effects of bug #2608 or something similar ?
Anyway, replacing Not_found by "assert false" currently breaks these
contribs. So for the moment, we revert to the original code. When bug
#2608 will have been solved, we'll try again enabling these "assert false".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14560 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coqdep_boot.ml')
0 files changed, 0 insertions, 0 deletions