diff options
author | Dawer <[email protected]> | 2021-04-29 06:04:24 +0100 |
---|---|---|
committer | Dawer <[email protected]> | 2021-05-31 20:03:45 +0100 |
commit | f4a95c93fe4c1050b18b3c8be25baddd6972ed84 (patch) | |
tree | d0daaf253953ffa93bafe7afd2eecb7b9d84fd54 /lib/arena/src/map.rs | |
parent | 26baab5d2836eb5affd93d1991b3e96853f13869 (diff) |
Remove unneeded indirection on PatCtxt
Diffstat (limited to 'lib/arena/src/map.rs')
0 files changed, 0 insertions, 0 deletions