diff options
| author | Brian Campbell | 2019-02-05 17:26:46 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-02-05 17:28:07 +0000 |
| commit | f1af348146a5810d1a21ee272d1799adfe2d545b (patch) | |
| tree | 4a81d32632db1aeb886413879a90a8b238009eaf /src/sail.ml | |
| parent | 296c0ba8ad41c704ee25f362571910096a28a4f9 (diff) | |
The alpha equivalence check should keep tyvars that only appear in constraints
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions