diff options
| author | mrmr1993 | 2018-02-27 11:58:20 +0000 |
|---|---|---|
| committer | mrmr1993 | 2018-02-27 11:58:20 +0000 |
| commit | 9238db3009b3007d6b6a3767a9232088b8c88b9b (patch) | |
| tree | 0d5824a2fb9f99b344204d89ef8826dca2079b22 /kernel/nativelambda.ml | |
| parent | e3124e098ef8170dac2b348b91757a7034bc4999 (diff) | |
Use MYCAMLP5LIB instead of undefined MYCAMLP4LIB
This completes the work of
b60906cc3ee3f994babf9cceff2971bd03485f2f
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions