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 | |
| parent | 1b078dafa07de56c1aaef872a7b776e6068a10a8 (diff) | |
Bump up case split limit for now
Diffstat (limited to 'src')
| -rw-r--r-- | src/monomorphise.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 9e9e377e..cc7a2603 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -54,7 +54,7 @@ open Ast_util module Big_int = Nat_big_num open Type_check -let size_set_limit = 32 +let size_set_limit = 64 let optmap v f = match v with |