diff options
| author | Jasper Hugunin | 2018-02-24 23:55:09 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2018-03-20 19:34:16 -0700 |
| commit | 2815be6e89d4a066eaedb040e43fb4b708d93b92 (patch) | |
| tree | c4869ca171148773ec6142f9a2a231033c97b30d /dev/tools | |
| parent | 17c94dca5fe2fc19137b9cac923d51e8eb818041 (diff) | |
Refactor impargs code.
This should preserve semantics exactly.
In the compute_implicits family of functions, I changed the
name of the pushed rel to not be fresh, but the env isn't passed
to find_displayed_name_in, and shouldn't affect whd_all.
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions