From d5662c5455290e166d5023724d843f0b3a92ef07 Mon Sep 17 00:00:00 2001
From: Julian Erhard <julian.erhard@tum.de>
Date: Wed, 15 Nov 2023 13:13:12 +0100
Subject: [PATCH] Indicate that termination analysis is activated.

---
 src/autoTune.ml | 1 +
 1 file changed, 1 insertion(+)

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";