diff options
| author | Matthieu Sozeau | 2016-09-29 14:40:00 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-09-29 14:42:42 +0200 |
| commit | 1c52cde4e5f5438305e17d95435dbdcf3bf8ea00 (patch) | |
| tree | b75dbe069252890885fe7929aa8614e40b631359 /kernel/nativecode.ml | |
| parent | 875f235dd0413faa34f7d46afc25d2eb90e386e5 (diff) | |
Cleanup API, making inference_hook optional
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions