diff options
| author | Kathy Gray | 2014-11-17 14:14:44 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-17 14:14:44 +0000 |
| commit | 267e326b0f85bb6775c0cebe9fbc54e778bf922c (patch) | |
| tree | c476c504e575b01957ab48206fb750ee52d60cf6 /src/lem_interp/interp_lib.lem | |
| parent | f76355901070eaa7b87916379d8c2f972e1e6854 (diff) | |
Use red printing for the value in the hole from Printing_functions instead of mangling the ascii manually
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
0 files changed, 0 insertions, 0 deletions