diff options
| author | Brian Campbell | 2018-04-13 13:13:40 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-13 13:13:40 +0100 |
| commit | 453da7c7d6152799a81ecc90defe869cd2bb8f2c (patch) | |
| tree | 7ca2c4b94a3ea4edce1e30d5af51207dd6309b24 /src/reporting_basic.mli | |
| parent | 755a2c7231d27d89a96b4d4df28b5ec36df1e878 (diff) | |
Check all patterns inside functions with -dsanity
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions