diff --git a/src/main/scala/inox/utils/InterruptManager.scala b/src/main/scala/inox/utils/InterruptManager.scala
index f00d1e9a4a9e4fce6930ff20d7ae04cead518a8d..dc34529ea9ee06f4fd2f039f095ecf4ff523a71e 100644
--- a/src/main/scala/inox/utils/InterruptManager.scala
+++ b/src/main/scala/inox/utils/InterruptManager.scala
@@ -21,7 +21,7 @@ class InterruptManager(reporter: Reporter) extends Interruptible {
       def now(): Long = System.currentTimeMillis()
       reporter.info("")
       if (now() - lastTimestamp.get < exitWindow) {
-        reporter.warning("Aborting Inox...")
+        reporter.warning("Aborting...")
         System.exit(1)
       }
       else {