diff options
| author | Kathy Gray | 2015-09-30 15:06:17 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-09-30 15:06:17 +0100 |
| commit | 5c58eaecfe0a5199d8ffb4c8edbc5b1f8cead1f7 (patch) | |
| tree | 5bf483f882f36d259fd15840d54bab730b04d8ac /src/lem_interp/run_interp.ml | |
| parent | 90085a748f3657e330696844127c8e85d9f0329f (diff) | |
Alias support for ocaml mode
Diffstat (limited to 'src/lem_interp/run_interp.ml')
0 files changed, 0 insertions, 0 deletions