From f0b59029d19ed28c52285fb8425c678382561bda Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 26 Jan 2018 18:57:24 +0100
Subject: [PATCH] Hide iterations section if none were performed

---
 main.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/main.c b/main.c
index 7bd838a..ff16978 100644
--- a/main.c
+++ b/main.c
@@ -245,7 +245,8 @@ void printStatistics()
   }
 
   if(flagOutputDIMACS == 0) {
-    printf("iterations:\n");
+    if (seqs[0].sati)
+      printf("iterations:\n");
     int i = 0;
     while(i*outputTimeStep+firstTimePoint < lastTimePoint && seqs[i].sati) {
       printf("  - horizon: %i\n",seqs[i].sati->nOfTPoints-1);