/***************************************************************************//**
 *
 * \file support/debug.cpp
 *
 * \author David Juhasz (david.juhasz@tuwien.ac.at)
 *
 * \date 2016
 *
 * \brief Implementation for rosa/support/debug.hpp.
 *
 ******************************************************************************/

#include "rosa/support/debug.hpp"

#include <iostream>

namespace rosa {

std::ostream &dbgs(void) {
  // Always return the standard error stream.
  return std::cerr;
}

} // End namespace rosa