Closed Julow closed 4 years ago
This PR removes the Find.Find_failure exception. Errors should be handled by https://github.com/jonludlam/odoc/pull/19
Find.Find_failure
Rebased on top of https://github.com/jonludlam/odoc/pull/19
This PR removes the
Find.Find_failure
exception. Errors should be handled by https://github.com/jonludlam/odoc/pull/19Rebased on top of https://github.com/jonludlam/odoc/pull/19