diff options
| author | Kathy Gray | 2014-11-07 16:31:03 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-07 16:31:03 +0000 |
| commit | 08a7d0de5e844ae8ad2d7027a4da87df054b2a28 (patch) | |
| tree | f8172be5684d9fc125db382f4589f698dd1f8ca4 /src/lem_interp/interp_interface.lem | |
| parent | 179da2c7c29265cee601b5cb1956e18699cedd3f (diff) | |
stop using LEMLIB in makefile, in case that's interfering with lem library placement, switch to LEMLIBOCAML
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions