Increase default split limit for risc-v model

rems-project · Dec 7, 2023 · b97e89e · b97e89e
1 parent eb350e8
commit b97e89e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/monomorphise.ml b/src/lib/monomorphise.ml
@@ -137,7 +137,7 @@ let rec typeclass_nexps (Typ_aux (t, l)) =
   )
   else NexpSet.empty
 
-let opt_size_set_limit = ref 64
+let opt_size_set_limit = ref 128
 
 let optmap v f = match v with None -> None | Some v -> Some (f v)