diff options
| author | Brian Campbell | 2017-10-25 12:19:08 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-25 12:19:08 +0100 |
| commit | d1d7f0ef16080200187230d9708155668af6edbf (patch) | |
| tree | 505dce3dc7a2f3f4841909422d822b292ca91d9b /src/test/lib/run_test_interp.ml | |
| parent | 05b00c86ee484a3e7f108f306e77ae200816a8ad (diff) | |
Avoid name clash in generated Lem
(complains due to added val spec)
Diffstat (limited to 'src/test/lib/run_test_interp.ml')
0 files changed, 0 insertions, 0 deletions