diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2013-12-29 10:53:06 -0500 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2013-12-29 11:04:25 -0500 |
commit | 381b2c6e77cd204aa143192a5a65e8832ae0633b (patch) | |
tree | 2f26dca0d8085664d9bffde2c0dde5939c456b84 /kernel/nativelib.ml | |
parent | 651094ccfd2d8106a8b0e75c27dc89afb369d4b3 (diff) |
Got rid of unused lazy flag in the native compiler.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions