Fix bug in debug manager (2).

This commit is contained in:
Lukas Steiner
2021-08-24 10:33:43 +02:00
parent 76068da0e7
commit fc89184b4e

View File

@@ -42,7 +42,7 @@
using namespace sc_core;
void DebugManager::printDebugMessage(const std::string &sender, const std::string &message) const
void DebugManager::printDebugMessage(const std::string &sender, const std::string &message)
{
if (Configuration::getInstance().debug)
{
@@ -50,7 +50,7 @@ void DebugManager::printDebugMessage(const std::string &sender, const std::strin
std::cout << " at " << sc_time_stamp() << "\t in " << sender << "\t: " << message << std::endl;
if (writeToFile && debugFile)
debugFile << " at " << sc_time_stamp() << " in " << sender << "\t: " << message << "\n";
debugFile << " at " << sc_time_stamp() << "\t in " << sender << "\t: " << message << std::endl;
}
}