//===-- support/debug.cpp ---------------------------------------*- C++ -*-===//
//
//                                 The RoSA Framework
//
// Distributed under the terms and conditions of the Boost Software License 1.0.
// See accompanying file LICENSE.
//
// If you did not receive a copy of the license file, see
// http://www.boost.org/LICENSE_1_0.txt.
//
//===----------------------------------------------------------------------===//
///
/// \file support/debug.cpp
///
/// \author David Juhasz (david.juhasz@tuwien.ac.at)
///
/// \date 2017
///
/// \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