diff --git a/src/autoTune.ml b/src/autoTune.ml
index 672d71b7ba..c1e982aace 100644
--- a/src/autoTune.ml
+++ b/src/autoTune.ml
@@ -467,6 +467,7 @@ let wideningOption factors file =
   }
 
 let activateTerminationAnalysis () =
+  print_endline "Enabling termination analysis";
   enableAnalyses ["termination"; "apron"];
   set_string "sem.int.signed_overflow" "assume_none";
   set_string "ana.apron.domain" "polyhedra";