From 76068da0e7047f4cf4ec56d1a052f2ff31adaf45 Mon Sep 17 00:00:00 2001
From: Lukas Steiner <lsteiner@rhrk.uni-kl.de>
Date: Tue, 24 Aug 2021 10:33:13 +0200
Subject: [PATCH] Fix bug in debug manager.

---
 DRAMSys/library/src/common/DebugManager.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/DRAMSys/library/src/common/DebugManager.h b/DRAMSys/library/src/common/DebugManager.h
index da0287eb..64fcf6ce 100644
--- a/DRAMSys/library/src/common/DebugManager.h
+++ b/DRAMSys/library/src/common/DebugManager.h
@@ -51,6 +51,7 @@
 #define PRINTDEBUGMESSAGE(sender, message) DebugManager::getInstance().printDebugMessage(sender, message)
 
 #include <string>
+#include <fstream>
 
 class DebugManager
 {
@@ -71,7 +72,7 @@ public:
     bool writeToConsole;
     bool writeToFile;
 
-    void printDebugMessage(const std::string &sender, const std::string &message) const;
+    void printDebugMessage(const std::string &sender, const std::string &message);
     static void printMessage(const std::string &sender, const std::string &message);
     void openDebugFile(const std::string &filename);