diff options
| author | Brian Campbell | 2018-01-09 11:33:04 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-09 11:33:04 +0000 |
| commit | 35bfe5b1c08fb045283785c819bf0ec4fe24f1c0 (patch) | |
| tree | 2030b072f93ae86395685771fb2ca4566d672e30 /src/process_file.ml | |
| parent | f73d601390a42a07a575db0c5efd5982471c2f2d (diff) | |
Move reordering in alpha_equivalent before relabelling to give
consistent names
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions