aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-05-09 19:06:24 +0100
committerFlorian Diebold <[email protected]>2021-05-21 16:48:34 +0100
commit278f5b043d3cde9ed5b6dfef708ed29179fd534c (patch)
tree834bda00395d46f9ac3b08c993d29ae7e1cd0834 /editors
parentaebcf7b5d4a37a08f2a64f7660b7e3d890476dba (diff)
Fix fallback to bound vars in `unify`
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions