1 files changed, 2 insertions, 2 deletions
diff --git a/main.ml b/main.ml
index d91d139..e114554 100644
--- a/main.ml
+++ b/main.ml
@@ -30,8 +30,8 @@ let ai_itv_edd = ref false
 let ai_rel_edd = ref false
 let ai_root = ref "test"
 let ai_widen_delay = ref 5
-let ai_no_time_scopes = ref ""
-let ai_init_scopes = ref ""
+let ai_no_time_scopes = ref "all"
+let ai_init_scopes = ref "all"
 let ai_disj_v = ref ""
 let ai_vci = ref false
 let ai_vvci = ref false