diff options
| author |  vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-12 09:45:02 +0000 |
|---|---|---|
| committer | vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-03-12 09:45:02 +0000 |
| commit | 9c8fdb79a0e43ae3d7bf7ed94c7dafad572fd61a (patch) | |
| tree | 1f37e5b4f5897c2af272b4c9a11fc0343138eb50 /contrib/funind/merge.ml | |
| parent | 479313019612114e9c9fbb789af4bc7a48bb3cea (diff) | |
* Catching a Not_found exception when trying to use Scheme Equality
over inductives types using Parameters
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10658 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/funind/merge.ml')
0 files changed, 0 insertions, 0 deletions