New example ; minor fixes.

1 files changed, 1 insertions, 1 deletions

diff --git a/main.ml b/main.ml
index a02820c..6cb2c50 100644
--- a/main.ml
+++ b/main.ml
@@ -29,7 +29,7 @@ let ai_rel = ref false
 let ai_itv_edd = ref false
 let ai_rel_edd = ref false
 let ai_root = ref "test"
-let ai_widen_delay = ref 3
+let ai_widen_delay = ref 5
 let ai_no_time_scopes = ref ""
 let ai_init_scopes = ref ""
 let ai_disj_v = ref ""