|
10 | 10 | (* of this source tree. *)
|
11 | 11 | (* *)
|
12 | 12 | (**************************************************************************)
|
| 13 | +(* *) |
| 14 | +(* Copyright (c) 2013-2022 Frédéric Bour, Thomas Refis and *) |
| 15 | +(* Simon Castellan. *) |
| 16 | +(* *) |
| 17 | +(* Permission is hereby granted, free of charge, to any person obtaining *) |
| 18 | +(* a copy of this software and associated documentation files (the *) |
| 19 | +(* "Software"), to deal in the Software without restriction, including *) |
| 20 | +(* without limitation the rights to use, copy, modify, merge, publish, *) |
| 21 | +(* distribute, sublicense, and/or sell copies of the Software, and to *) |
| 22 | +(* permit persons to whom the Software is furnished to do so, subject to *) |
| 23 | +(* the following conditions: *) |
| 24 | +(* *) |
| 25 | +(* The above copyright notice and this permission notice shall be *) |
| 26 | +(* included in all copies or substantial portions of the Software. *) |
| 27 | +(* *) |
| 28 | +(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, *) |
| 29 | +(* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF *) |
| 30 | +(* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND *) |
| 31 | +(* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE *) |
| 32 | +(* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION *) |
| 33 | +(* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION *) |
| 34 | +(* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. *) |
| 35 | +(* *) |
| 36 | +(**************************************************************************) |
13 | 37 |
|
14 | 38 | (* Note that's heavily inspired from merlin's own code for recovery *)
|
15 | 39 |
|
|
0 commit comments