diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 1c1e52b17bc57537128e2186f342937aab62ecd0..3939332776cd21af143f355bb6d0e8fc94459b51 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -204,7 +204,7 @@ object Main {
         else if (repairF) RepairPhase
         else if (analysisF) Pipeline.both(verification, termination)
         else if (terminationF) termination
-        else if (isabelleF) IsabellePhase
+        else if (isabelleF) IsabellePhase andThen PrintReportPhase
         else if (evalF) EvaluationPhase
         else if (inferInvF) InferInvariantsPhase
         else if (instrumentF) InstrumentationPhase andThen FileOutputPhase