diff options
| author | Kathy Gray | 2016-09-14 10:56:08 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-09-14 10:56:08 +0100 |
| commit | 5080e1b1876532cfee48acfffed957fce0b4070c (patch) | |
| tree | 0bdf2671c417858fc3668d60891cdd3336739e6d /src/lem_interp/interp_interface.lem | |
| parent | 0cac5b8463e49bf1532fa5dfcf43ed1e48cc8835 (diff) | |
Fix mistyped identifier in emacs mode
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions