diff options
| author | Maxime Dénès | 2016-03-04 19:01:35 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-03-04 19:01:35 +0100 |
| commit | 35cc038e96395b0f4eaaeed3a5a48e6da2293f7e (patch) | |
| tree | 6aadf76ea4a1e21506a075a0298ebe027efb83cd /lib/future.ml | |
| parent | 120053a50f87bd53398eedc887fa5e979f56f112 (diff) | |
Fix #4607: do not read native code files if native compiler was disabled.
Diffstat (limited to 'lib/future.ml')
0 files changed, 0 insertions, 0 deletions