From ebe835cb795a2ebaa06cdb4880b80fdd1d981a56 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 29 Jan 2018 16:10:03 +0000
Subject: Set maximum split size to work with aarch64 no vector

---
 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 0baaf139..4a075a15 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 = 16
+let size_set_limit = 32
 
 let optmap v f =
   match v with
-- 
cgit v1.2.3