From e7a87bbaa9c0481273c2dfcc987051489b931c23 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Thu, 23 Dec 2021 22:30:46 +0100
Subject: [PATCH] removed unnecessary flush from DEBUG

---
 io/debug.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/io/debug.h b/io/debug.h
index e911791..44ccba2 100644
--- a/io/debug.h
+++ b/io/debug.h
@@ -5,7 +5,7 @@
 
 struct print {
     print() {}
-    ~print() {  std::cout << std::endl << std::flush; }
+    ~print() { std::cout << std::endl; }
 };
 
 struct noprint {