diff options
| author | Brian Campbell | 2018-02-20 18:01:33 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-20 18:35:13 +0000 |
| commit | 1e712c162b4ded94cf18f30fc788fc57b5409d69 (patch) | |
| tree | 07911761689ad821ac746d1d329eec24ef2be559 /src/pattern_completeness.ml | |
| parent | 1b078dafa07de56c1aaef872a7b776e6068a10a8 (diff) | |
Bump up case split limit for now
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions