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.ml | |
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.ml')
0 files changed, 0 insertions, 0 deletions