From 10cbe4b28ef6dc5d02c9a5d4d369484e4943a18d Mon Sep 17 00:00:00 2001
From: "nicolas.nardino" <nicolas.nardino@ens-lyon.fr>
Date: Tue, 22 Jun 2021 15:57:21 +0200
Subject: Changed default threshold value following tests

---
 driver/Clflags.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver')

diff --git a/driver/Clflags.ml b/driver/Clflags.ml
index 1f31bd3e..c90fdb8c 100644
--- a/driver/Clflags.ml
+++ b/driver/Clflags.ml
@@ -115,5 +115,5 @@ let option_inline_auto_threshold = ref 0
 let option_profile_arcs = ref false
 let option_fbranch_probabilities = ref true
 let option_debug_compcert = ref 0
-let option_regpres_threshold = ref 5
+let option_regpres_threshold = ref 2
 let main_function_name = ref "main"
-- 
cgit