cpp_namespace_spec.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Language Type Checking
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
 
#include "cpp_namespace_spec.h"
 
#include <ostream>
 
void cpp_namespace_spect::output(std::ostream &out) const
{
  out << "  namespace: " << get_namespace() << '\n';
}