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);