From 1e712c162b4ded94cf18f30fc788fc57b5409d69 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 20 Feb 2018 18:01:33 +0000
Subject: Bump up case split limit for now

---
 src/monomorphise.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3