diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-10-25T09·33-0700 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-11-04T01·33+0000 |
commit | f93f138c6c4a372c7692ff235a143326c140ab23 (patch) | |
tree | 28c3d868bddeae85451d8b4211ad97d4c5953849 /users/tazjin/predlozhnik | |
parent | 06494742062e77036827dfc7c91dea507b44447f (diff) |
fix(tvix/eval): inline mis-named Local::above() r/5237
If self.depth > other.depth then self is deeper than other, so self is *below* other, not above it. Let's just inline the function. Change-Id: I8dda3d90cbc86c8a6fa01bc4a5e506a2e403bd20 Signed-off-by: Adam Joseph <adam@westernsemico.com> Reviewed-on: https://cl.tvl.fyi/c/depot/+/7090 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'users/tazjin/predlozhnik')
0 files changed, 0 insertions, 0 deletions