diff options
| author | Alasdair Armstrong | 2019-03-04 20:14:39 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-04 20:14:39 +0000 |
| commit | 15872b4c48d932a920ea6d22b69889ff32f6a446 (patch) | |
| tree | 97b2198675335848d9c6f61df010c66d706b546c /src/initial_check.mli | |
| parent | 1873768b54b1b88a19c622adc255e0e1f9ba36d0 (diff) | |
Fix aarch64_small test XML for jenkins
Rename rewrite_split_fun_constr_pats to rewrite_split_fun_ctor_pats as
constr is commonly used as an abbreviation for constraint rather than
constructor, and add a more descriptive comment.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions