diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-10-14 17:23:27 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-10-15 14:36:30 +0200 |
| commit | d08aa6b4f742a7162e726920810765258802c176 (patch) | |
| tree | e1cca6b452cdbebb79d0ef9d4bd45693ccfd1bbd /kernel/nativeconv.mli | |
| parent | 7ae876ab6246a9c9d352b7c72d3f98db47ff456c (diff) | |
Warn user when bytecode compilation fails.
Previously, the kernel was silently switching back to the standard conversion.
Diffstat (limited to 'kernel/nativeconv.mli')
0 files changed, 0 insertions, 0 deletions